Learn More
We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logic, specifically for a simple functional programming language (PCF). This gives rise to a very simple, compact, compilation schema and run-time system. We analyse various properties of this kind of computation that suggest substantial(More)
Interaction nets are graphical rewriting systems which can be used as either a high-level programming paradigm or a low-level implementation language. However, an operational semantics together with notions of strategy and normal form which are essential to reason about implementations, are not easy to formalize in this graphical framework. The purpose of(More)
In 1991, the Haemostasis and Thrombosis Task Force of the British Society for Haematology published guidelines on testing for the lupus anticoagulant (LA) (Machin et al, 1991). Since then there have been major developments in our understanding of the nature ofàntiphospholipid antibodies' (aPLs) and improvements in our knowledge of the clinical course of the(More)