[Lambda]-Calculus and Computer Science Theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche - Instituto per le Applicazioni del Calcolo "Mauro Picone"; Böhm, Corrado; Symposium on [Lambda]-Calculus and Computer Science Theory (1975 : Rome) (Berlin ; New York : Springer, 1975)
Slovo lambda v názvu vyjádřeno písmenem řecké abecedy
Obsahuje bibliografii
Keywords: kombinatorika; počítačová věda; programovací jazyky; sémantika; sborníky; combinatorics; computer science; programming languages; semantics