J. C. Mitchell and P. J. Scott, Typed lambda models and cartesian closed categories, Categories in Computer Science and Logic, Contemp. Math., vol. 92, Amer. Math. Soc., 1989, pp. 301-316. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
HasCASL: Towards Integrated Specification and Development.. - Schröder, Mossakowski (2002) (Correct)
HasCASL: Towards Integrated Specification and Development.. - Schröder, Mossakowski (2002) (Correct)
Topological Representation of the &ambda;-Calculus - Awodey (1998) (Correct)
Non-trivial Power Types can't be Subtypes of Polymorphic Types - Pitts (1989) (3 citations) (Correct)
Categorical Logic - Pitts (2001) (32 citations) (Correct)
A Note On Rewriting Theory For Uniqueness Of Iteration - Okada, SCOTT (2000) Self-citation (Scott) (Correct)
Normalization and the Yoneda Embedding - Cubric, Dybier, Scott Self-citation (Scott) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) Self-citation (Scott) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) Self-citation (Scott) (Correct)
Linear Läuchli Semantics - Blute, Scott Self-citation (Scott) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC