The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus (2006)

by Lutz Schröder
Venue:COMPUT. SCI
Citations:6 - 4 self

Active Bibliography

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
4 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
5 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
What is a differential partial combinatory algebra? – Jonathan Gallagher - 2011
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
7 Geometric and higher order logic in terms of abstract Stone duality – Paul Taylor - 2000
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
12 The Structure of Call-by-Value – Carsten Führmann - 2000
9 Some Algebraic Laws for Spans (and Their Connections With Multi-Relations) – Roberto Bruni, Fabio Gadducci - 2001
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
The King's Buildings Edinburgh EH9 3JZ, Scotland – Marcelo Fiore