|
3
|
A Denotational Approach to Measuring Complexity in Functional Programs
– Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter
- 2003
|
|
3
|
Power Domains Supporting Recursion and Failure
– Reinhold Heckmann, Bundesrepublik Deutschland
- 1998
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
|
External Examiner
– Weng Kin Ho, Dr. MartÃn Escardó
- 2006
|
|
|
Semantics of Binary Choice Constructs
– Reinhold Heckmann, Dr. Reinhold Heckmann, Probabilistic Power Domains, Information Systems
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
1
|
Lambda Calculus
– C. -h. L. Ong, C C. -h. L. Ong
|
|
22
|
Algebraic Approaches to Nondeterminism - an Overview
– Michal Walicki, Sigurd Meldal
- 1997
|
|
1
|
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
– Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
- 1997
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
6
|
A Semantics-based Approach to Design of Query Languages for Partial Information
– Leonid Libkin
- 1994
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
1
|
Category Theory and the Simply-Typed lambda-Calculus
– Alfio Martini, Alfio Martini
- 1996
|
|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
4
|
Coalgebras and Monads in the Semantics of Java
– Bart Jacobs, Erik Poll
- 2002
|
