Principio di estensionalita nel calcolo dei combinatori

DOI10.1007/BF02575786zbMath0325.02018MaRDI QIDQ1225044

G. Jacopini

Publication date: 1975

Published in: Calcolo (Search for Journal in Brave)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item

This page was built for publication: Principio di estensionalita nel calcolo dei combinatori