Searching for authors named Peter Aczel – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Notes on the Simply Typed Lambda Calculus
- …Notes on the simply typed lambda calculus Peter Aczel Manchester University June 16, 1998 Contents…
- Cited by 4 (0 self) – Add To MetaCart
-
The Russell-Prawitz Modality
- … Peter Aczel Departments of Mathematics and Computer Science Manchester University Received 4 November…
- Cited by 7 (1 self) – Add To MetaCart
-
A constructive version of the Lusin Separation Theorem. To appear
- …A constructive version of the Lusin Separation Theorem Peter Aczel petera@(email omitted); Departments…
- Cited by 1 (0 self) – Add To MetaCart
-
Constructive Type Theory
- …Constructive Type Theory Notes for Marktoberdorf 1997 Peter Aczel Manchester July 12, 1997 Preface…
- Cited by 3 (0 self) – Add To MetaCart
-
A Semantic Universe for the study of Fairness
- …A Semantic Universe for the study of Fairness VERY ROUGH AND INCOMPLETE DRAFT Peter Aczel (petera…
- Cited by 1 (0 self) – Add To MetaCart
-
Notes towards a formalisation of Constructive Galois Theory
- …Notes towards a formalisation of Constructive Galois Theory draft report Peter Aczel Departments…
- Cited by 1 (0 self) – Add To MetaCart
-
Term Declaration Logic and Generalised Composita
- …Term Declaration Logic and Generalised Composita Peter Aczel Departments of Mathematics…
- Cited by 1 (0 self) – Add To MetaCart
-
Schematic Consequence
- …Schematic Consequence Peter Aczel Manchester University Abstract The aim of this note is first…
- Cited by 2 (0 self) – Add To MetaCart
-
Lectures on Semantics: The initial algebra and final coalgebra perspectives
- …Lectures on Semantics: The initial algebra and final coalgebra perspectives Peter Aczel Departments…
- Cited by 2 (0 self) – Add To MetaCart
-
On Relating Type Theories and Set Theories
- …On relating type theories and set theories Peter Aczel Departments of Mathematics and Computer…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
