Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:∅ G.Longo
Talks about:head (2) combinatori (1) discrimin (1) general (1) theori (1) recurr (1) notion (1) normal (1) comput (1) logic (1)
Person: Marisa Venturini Zilli
DBLP: Zilli:Marisa_Venturini
Contributed to:
19781976Wrote 2 papers:
- ICALP-1978-Zilli #combinator #logic #normalisation
- Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.
- ICALP-1976-LongoZ #formal method
- A Theory of Computation with an Identity Discriminator (GL, MVZ), pp. 147–167.