Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
TRIPOS
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Introduction. One of the most important constructions in topos theory ia that of the category Shv (̂ 4) of sheaves on a locale… Expand
2008
2008
Nominal techniques are based on the idea of sets with a finitely-supported atoms-permutation action.
We consider the idea of… Expand
2003
2003
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human… Expand
2003
2003
Los dinoflagelados del genero "Dinophysis" producen potentes toxinas lipofilicas que se transmiten a traves de los bivalvos… Expand
Highly Cited
2002
Highly Cited
2002
The notion of tripos (Hyland et al. 1980; Pitts 1981) was motivated by the desire to explain in what sense Higg's description of… Expand
2000
2000
Alan Turing's interest in science began early and never wavered. Both at his preparatory schools and later at Sherborne, which he… Expand
2000
2000
Part 1 Robertson the man: writing the life - received and unreceived opinions public self and private self home and Eton the land… Expand
Highly Cited
1993
Highly Cited
1993
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e… Expand
1987
1987
Abstract A general dynamic Monte Carlo ion transport code, TRIPOS (TRansport of Ions in Polyatomic Solids) is used in this work… Expand
1979
1979
There are several successful operating systems for mini‐computers written in high level languages and the time is now ripe for… Expand