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)

Related topics

Related topics

17 relations
AmigaOSAmigaOS 4Assembly languageBCPL

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Seasonal variability of Dinophysis spp. and Protoceratium reticulatum associated to lipophilic shellfish toxins in a strongly stratified Chilean fjord
Review
2011
Review
2011
Current Trends in Biotechnology and Pharmacy
Multianalyte immunoassay has gained increasing attention due to its high sample throughput, short assay time, low sample… 
2004
2004
Large scale mining of molecular fragments with wildcards
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
Tripos theory in retrospect
  • 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
Alan Mathison Turing
2000
2000
Understanding Dennis Robertson: The Man and His Work
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
Fibrations, logical predicates and indeterminates
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e… 
1983
1983
Precipitate dissolution by high energy collision cascades
Highly Cited
1980
Highly Cited
1980
Tripos theory
  • 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
TRIPOS—a portable operating system for mini‐computers
There are several successful operating systems for mini‐computers written in high level languages and the time is now ripe for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)