Searching for authors named Furio Honsell – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
A framework for defining logical frameworks
- … ⋆ Furio Honsell 1 DIMI, University of Udine, Italy Marina Lenisa 2 DIMI, University of Udine, Italy Luigi…
- Cited by 3 (0 self) – Add To MetaCart
-
Operations, Collections and Sets within a General Axiomatic Framework
- …. Appl. "U. Dini" Universit`a di Pisa, Italy. forti@(email omitted); Furio Honsell, Marina Lenisa Dip. di…
- Add To MetaCart
-
"Wave-style" Geometry of Interaction Models are Graph-like λ-models
- …“Wave-style” Geometry of Interaction Models are Graph-like λ-models ⋆ Furio Honsell 1 and Marina…
- Add To MetaCart
-
A Natural Deduction Approach to Dynamic Logic
- …A Natural Deduction Approach to Dynamic Logic ∗ Furio Honsell 1 and Marino Miculan 1,2 1…
- Cited by 12 (5 self) – Add To MetaCart
-
Semantical Analysis of Perpetual Strategies in λ-calculus
- …Semantical Analysis of Perpetual Strategies in -calculus ? Furio Honsell and Marina Lenisa…
- Cited by 2 (0 self) – Add To MetaCart
-
Coalgebraic Semantics of an Imperative Class Based Language
- …Coalgebraic Semantics of an Imperative Class Based Language ⋆ Furio Honsell, 1 Marina Lenisa 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Pre-logical Relations
- …Prelogical Relations 1 Furio Honsell Dipartimento di Matematica e Informatica, Universita di…
- Cited by 24 (5 self) – Add To MetaCart
-
Final Semantics for untyped λ-calculus
- …Final Semantics for untyped -calculus ? Furio Honsell 1 and Marina Lenisa 1;2 1 Dipartimento…
- Cited by 11 (1 self) – Add To MetaCart
-
"Wave-style" Geometry of Interaction Models in Rel are Graph-like Lambda-models
- …\Wave-style" Geometry of Interaction Models in Rel are Graph-like Lambda-models ? Furio Honsell 1…
- Cited by 4 (0 self) – Add To MetaCart
-
Pre-logical Relations
- …Pre-logical Relations ? Furio Honsell 1;2 and Donald Sannella 1 1 Laboratory for Foundations…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
