Notes on Sconing and Relators (1993)

Cached

Download Links

by John C. Mitchell , Andre Scedrov
Citations:24 - 0 self

Documents Related by Co-Citation

53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
730 Notions of Computation and Monads – Eugenio Moggi - 1991
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
58 Lambda-definability in the full type hierarchy – G Plotkin - 1980
26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
327 Foundations of Programming Languages – J C Mitchell - 1996
26 A New Characterization of Lambda Definability – Achim Jung, Jerzy Tiuryn - 1993
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
20 Fibrations, Logical Predicates and Indeterminates – Claudio Alberto Hermida - 1993
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982
47 Polymorphism is set-theoretic constructively – A Pitts - 1988
19 Logical Relations for Monadic Types – Jean Goubault-Larrecq , Slawomir Lasota, David Nowak - 2002
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
99 Relational Properties of Domains – Andrew M. Pitts - 1996
137 Probabilistic Non-determinism – C Jones - 1990