An abstract notion of application-Reference-Cited by-同舟云学术

An abstract notion of application

Published:1993 Issue: Volume: Page:124-138
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Di Gianantonio Pietro,Honsell Furio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0037102

Reference16 articles.

1. S.Abramsky: Domain Theory in Logical Form. Annals of Pure and Applied Logic, (1991)

2. H.Barendregt: Lambda Calculus: its Syntax and Semantics revised version. Studies in Logic. Amsterdam: North Holland 1984

3. H.Barendregt, M.Coppo, M.Dezani, Ciancaglini: A Filter Lambda Model and the Completeness of Type Assignment, Journal to Symbolic Logic, 48, 4 (1983)

4. M.Coppo, M.Dezani Ciancaglini, F.Honsell, G.Longo: Extended Type Structures and Filter Lambda Models. In: G.Longo et al. (eds.): Logic Colloquium'82. Amsterdam: North Holland 1983

5. M.Coppo, M.Dezani Ciancaglini, B.Venneri: Principal Type Schemes and Lambda Calculus Semantics. In: J.Seldin et al. (eds): To H.B.Curry: Essays. Academic Press 1980

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lambda Calculus with Types;PERSPECT LOGIC;2009

2. Graph lambda theories;Mathematical Structures in Computer Science;2008-10

3. “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models;Lecture Notes in Computer Science;2004

4. Simple Easy Terms;Electronic Notes in Theoretical Computer Science;2003-02

5. Strict Geometry of Interaction Graph Models;Logic for Programming, Artificial Intelligence, and Reasoning;2003