|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
218
|
The Lazy Lambda Calculus
– Samson Abramsky
- 1990
|
|
8
|
Topology, Domain Theory and Theoretical Computer Science
– Michael W. Mislove
- 1997
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
|
Introduo ao -calculus Modal
– Mtodos De Programao, Lus Soares Barbosa, Processos E Propriedades
|
|
16
|
Linear logic for generalized quantum mechanics
– Vaughan Pratt
- 1993
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
|
External Examiner
– Weng Kin Ho, Dr. Martín Escardó
- 2006
|
|
5
|
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables
– Radha Jagadeesan, Keshav Pingali, Prakash Panangaden
- 1991
|
|
89
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
|
3
|
Power Domains Supporting Recursion and Failure
– Reinhold Heckmann, Bundesrepublik Deutschland
- 1998
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
|
17
|
Solving Recursive Domain Equations with Enriched Categories
– Kim Ritter Wagner, Stephen Brookes, John C. Reynolds
- 1994
|
|
1
|
Domains of View: A Foundation for Specification and Analysis
– Michael Huth
- 2000
|
|
23
|
Games and full abstraction for nondeterministic languages
– Russell S. Harmer
- 1999
|
|
22
|
Algebraic Approaches to Nondeterminism - an Overview
– Michal Walicki, Sigurd Meldal
- 1997
|
|
12
|
Semantic Domains for Combining Probability and Non-Determinism
– Regina Tix, Klaus Keimel, Gordon Plotkin
- 2005
|
|
11
|
Game Semantics and Subtyping
– Juliusz Chroboczek
- 1999
|
|
6
|
Generic Exception Handling and the Java Monad
– Lutz Schröder, Till Mossakowski
- 2004
|
