Coinductive Characterizations of Applicative Structures (1998)

Cached

Download Links

by Furio Honsell , Marina Lenisa
Venue:MATH. STRUCTURES IN COMP. SCI. 9(4):403–435
Citations:3 - 0 self

Active Bibliography

5 Themes in Final Semantics – Marina Lenisa - 1998
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
2 Final Semantics for untyped λ-calculus – Furio Honsell, Marina Lenisa - 1995
1 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects – Marina Lenisa - 1983
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
2 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
6 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
4 Axiomatic Characterizations of Hyperuniverses and Applications – Marco Forti, Furio Honsell, Marina Lenisa - 1996
2 Call-by-value Solvability – Luca Paolini Universit, Luca Paolini, Simona Ronchi, Della Rocca - 1999
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
2 Coalgebraic Semantics of an Imperative Class Based Language – Furio Honsell, Marina Lenisa - 2003
12 Simple easy terms – F. Alessi, S. Lusin - 2002
17 Compositional Characterizations of λ-terms using Intersection Types (Extended Abstract) – M. Dezani-Ciancaglini, F. Honsell, Y. Motohama - 2000
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
40 Set-Theoretical and Other Elementary Models of the lambda-calculus – Gordon Plotkin - 1993
11 Intersection Types and Lambda Models – Fabio Alessi, Franco Barbanera - 2005
Intersection Types for λ-Trees – Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-Jan de Vries - 1999
6 Discrimination by Parallel Observers: the Algorithm – Mariangiola Dezani-ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn, Pawe/l Urzyczyn - 1998