Results for:
"
James+Bloodworth
" in Documents
- Ulceration caused by emboli in cutaneous bloo vessels
-
Rating:
Views: ()
Pages: ()
Uploaded: 1966-3-1
- Australia antigen and antibody in laboratory and other hospital person...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1973-1-1
- Edinburgh EH14 4AS Scotland
- In this paper, a notation in uenced by de Bruijn's syntax of the -calculus is used to describe canonical forms of terms and an equivalence relation which divides terms into classes according to their ...
-
Rating:
Views: (1022)
Pages: ()
Uploaded: 13-05-09
- On \Pi-conversion in the lambda-cube and the combination with abbrevia...
- Typed -calculus uses two abstraction symbols ( and \Pi) which are usually treated in different ways: x: :x has as type the abstraction \Pi x: : yet \Pi x: : has type 2 rather than an abstraction; more...
-
Rating:
Views: (1071)
Pages: ()
Uploaded: 15-05-09
- Explicit Substitution on the Edge of Strong Normalisation 1995 28 cita...
- We use the Recursive Path Ordering (RPO) technique of semantic labelling to show the Preservation of Strong Normalisation (PSN) property for several calculi of explicit substitution. Preservation of S...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Semantical Aspects of an Architecture for Distributed Embedded Systems...
- We investigate the formulation of a formal semantics for the industrial software architecture Splice. In this report, we present a set of basic Splice interaction primitives that is both powerful and ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Preservation of Strong Normalisation in Named Lambda Calculi with Expl...
- In this paper we introduce and study a new -calculus with explicit substitution, xgc, which has two distinguishing features: first, it retains the use of traditional variable names, specifying terms m...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Integrated Health Log: Share Multimedia Patient Data
- Abstract The integrated health log demonstrator shows how multimedia can be used in collaborative settings in healthcare. Patient data can be shared annotated discussed and processed by medics involv...
-
Rating:
Views: (2003)
Pages: (0)
Uploaded: Publication Date: 6-6 July 2005