Relational Properties of Recursively Defined Domains (1993)

Cached

Download Links

by Andrew M. Pitts
Venue:In 8th Annual Symposium on Logic in Computer Science
Citations:15 - 2 self

Documents Related by Co-Citation

986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
105 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
3430 Communication and Concurrency – R Milner - 1989
496 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977
1353 Monads for functional programming – Philip Wadler - 1995
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
70 Recursive types reduced to inductive types – P J Freyd - 1990
49 On the relation between direct and continuation semantics, Automata, languages and programming – Rey74 John Reynolds - 1974