Skip to search formSkip to main contentSkip to account menu

TRIPOS

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Multianalyte immunoassay has gained increasing attention due to its high sample throughput, short assay time, low sample… 
2004
2004
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human… 
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… 
2000
2000
Part 1 Robertson the man: writing the life - received and unreceived opinions public self and private self home and Eton the land… 
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… 
Highly Cited
1980
Highly Cited
1980
  • J.M. A. Pitts
  • Mathematical Proceedings of the Cambridge…
  • 1980
  • Corpus ID: 14923001
One of the most important constructions in topos theory ia that of the category Shv (A) of sheaves on a locale (= complete… 
1979
1979
There are several successful operating systems for mini‐computers written in high level languages and the time is now ripe for…