|
3
|
The logic of the partial λ-calculus with equality
– Lutz Schröder
- 2004
|
|
25
|
HasCASL: Towards Integrated Specification and Development of Functional Programs
– Lutz Schröder, Till Mossakowski
- 2002
|
|
|
HasCasl -- Integrated functional . . .
– Lutz Schröder, Till Mossakowski, Christian Maeder
- 2004
|
|
1
|
Introduction to Turing categories
– J. R. B. Cockett, Pieter J. W. Hofstra
|
|
5
|
Classifying Categories for Partial Equational Logic
– Lutz Schröder
- 2002
|
|
8
|
HasCasl -- Integrated functional specification and programming
– Lutz Schröder, et al.
- 2004
|
|
3
|
STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES
– J. R. B. Cockett, Xiuzhan Guo
|
|
|
I Basic Categories 6
– J. R. B. Cockett
- 2010
|
|
9
|
Computational Adequacy in an Elementary Topos
– Alex K. Simpson
- 1999
|
|
|
Amalgamation in the Semantics of CASL
– Lutz Schröder, Till Mossakowski , Andrzej Tarlecki , Bartek Klin, Piotr Hoffman
|
|
12
|
Type class polymorphism in an institutional framework
– Lutz Schröder, Till Mossakowski, Christoph Lüth
- 2005
|
|
12
|
Monad-independent dynamic logic in HasCasl
– Lutz Schröder, Till Mossakowski
|
|
6
|
Geometric and higher order logic in terms of abstract Stone duality
– Paul Taylor
- 2000
|
|
16
|
Algebraic-coalgebraic specification in CoCasl
– Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
- 2006
|
|
7
|
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
– Roberto Bruni, Fabio Gadducci
- 2001
|
|
11
|
The Structure of Call-by-Value
– Carsten Führmann
- 2000
|
|
3
|
An Equational Notion of Lifting Monad
– Anna Bucalo, Carsten Führmann, Alex Simpson
- 2003
|
|
|
DIFFERENTIAL RESTRICTION CATEGORIES
– J. R. B. Cockett, G. S. H. Cruttwell, J. D. Gallagher
|
|
|
Domains in H
– Marcelo P. Fiore, Giuseppe Rosolini
|
