A uniform syntactical method for proving coinduction principles in λ-calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1214, Issue , 1997, Pages 309-320

  Lenisa, Marina ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; SEMANTICS;

BISIMULATIONS; COINDUCTION; CONTEXTUAL EQUIVALENCE; LAMBDA TERMS; LAMBDA-CALCULI; OBSERVATIONAL CONGRUENCE; REDUCTION STRATEGY;

SOFTWARE DESIGN;

EID: 21744443930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030606     Document Type: Conference Paper

References (12)

1. S. Abramsky, L. Ong, Full Abstraction in the Lazy Lambda Calculus, Information and Computation, 105(2):159-267, 1993.
2. H. Barendregt, The Lambda Calculus, its Syntax and Semantics, North Holland, Amsterdam, 1984.
3. L. Egidi, F. Honsell, S. Ronchi Della Rocca, Operational, denotational and logical Descriptions: a Case Study, Fundamenta Informaticae, 16(2):149-169, 1992.
4. F. Honsell, M. Lenisa, Final Semantics for untyped λ-calculus, M. Dezani et al. eds, TLCA'95 Springer LNCS, 902:249-265, Edinburgh, 1995.
5. F. Honsell, S. Ronchi Della Rocca, An approximation theorem for topological lambda models, J. of Computer and System Sciences, 45(1):49-75, 1992.
6. D. Howe, Equality in Lazy Computation Systems, 4th LICS Conference Proceedings, IEEE Computer Society Press, 198-203, 1989.
7. D. Howe, Proving Congruence of Bisimulation in Functional Programming Languages, Information and Computation, 124(2):103-112, 1996.
8. M. Lenisa, Final Semantics for a Higher Order Concurrent Language, CAAP'96 Conference Proceedings, H.Kirchner ed., Springer LNCS, 1059:102-118, 1996.
9. M. Lenisa, Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for λ-calculi, to appear in TLCA'97 Proc..
10. I. Mason, S. Smith, C. Talcott, From Operational Semantics to Domain Theory, Information and Computation to appear.
11. P. Pérezé An extensional partial combinatory algebra based on) λ-terms, MFCS'91 Conference Proceedings, Springer LNCS, 520, 1996.
12. A.M. Pitts, Relational Properties of Domains, Inf. and Comp., 127:66-90, 1996.