CINECA IRIS Institutional Research Information System

An extension of the basic functionality theory for the lambda-calculus.

COPPO, Mario;DEZANI, Mariangiola
1980-01-01
1980
21
685
693
http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093883253
M. Coppo; M. Dezani
03A-Articolo su Rivista
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/102613
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact