Effectively Given Domains and Lamba-Calculus Models

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review

Altri file e collegamenti

@article{87bfcf91157f498ba030cf8adf218484,

title = "Effectively Given Domains and Lamba-Calculus Models",

author = "Paola GIANNINI and G. Longo",

year = "1984",

month = jan,

day = "1",

language = "Italian",

volume = "62",

pages = "36--63",

journal = "Information and control",

issn = "0019-9958",

publisher = "Elsevier Inc.",

}