CINECA IRIS Institutional Research Information System

Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types

LIKAVEC, Silvia
2003-01-01
2003
2nd Workshop on Intersection Types and Related Systems, ITRS ’02
Copenhagen, Denmark
26.7.2002
Proceedings of the 2nd Workshop on Intersection Types and Related Systems, ITRS ’02
ELSEVIER SCIENCE BV, PO BOX 211
70
1
106
123
http://www.doc.ic.ac.uk/~svb/ITRS02/ENTCS/entcs75108.pdf
Silvia Ghilezan; Silvia Likavec
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/89103
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact