The Typed Lambda-calculus with First-Class Processes

F. Nielson

TypeConference paper [With referee]
ConferenceProc. PARLE'89
Year1989    Vol. 366    pp. 357-373
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering