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

928 S.: Categories for the Working Mathematician – Mac Lane - 1998
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
3242 Communication and Concurrency – R Milner - 1989
1318 Monads for functional programming – Philip Wadler - 1995
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
479 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1977
68 Recursive types reduced to induct,ive types – P Freyd - 1990
47 On the relation between direct and continuation semantics – John C Reynolds - 1974