Fully abstract models of typed λ-calculi

Robin Milner

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1-22
Number of pages22
JournalTheoretical Computer Science
Volume4
Issue number1
DOIs
Publication statusPublished - Feb 1977

Cite this