Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

TRIPOS

Known as: Cintpos 
TRIPOS (TRIvial Portable Operating System) is a computer operating system. Development started in 1976 at the Computer Laboratory of Cambridge… Expand
Wikipedia

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
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 8
2003
2003
Los dinoflagelados del genero "Dinophysis" producen potentes toxinas lipofilicas que se transmiten a traves de los bivalvos… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Highly Cited
2002
Highly Cited
2002
  • A. Pitts
  • Mathematical Structures in Computer Science
  • 2002
  • Corpus ID: 14668756
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
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 3
1979
1979
There are several successful operating systems for mini‐computers written in high level languages and the time is now ripe for… Expand