"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models

@inproceedings{Honsell2003WaveStyleGO,
  title={"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models},
  author={Furio Honsell and Marina Lenisa},
  booktitle={TYPES},
  year={2003}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Fully Complete Minimal PER Models for the Simply Typed - al ulus, CSL'01

S.Abramsky, M.Lenisa
LNCS 2142, • 2001

A Fully- omplete PER Model for ML Polymorphi Types, CSL'00

S.Abramsky, M.Lenisa
LNCS 1862, • 2000

On full abstra tion for PCF

M.Hyland, L.Ong
Inf. and Comp • 2000

Realizability models based on history-free strategies, draft

S.Abramsky, J.Longley
2000

An approximation theorem for topologi al lambda models and the topologi al in ompleteness of lambda models

F.Honsell, S.Ron hi Della Ro a
J. Comp. System S i • 1992

Term assignment for intuitionisti linear logi

P.Benton, G.Bierman, V. de Paiva, M.Hyland
TR 262, • 1992

A lter lambda model and the ompleteness of type assignment system

H.Barendregt, M.Coppo, M.Dezani
J. Symboli Logi • 1983

Similar Papers

Loading similar papers…