A programming logic for $F_\omega$

E. Poll

Research output: Book/ReportReportAcademic

35 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages15
Publication statusPublished - 1992

Publication series

NameComputing science notes
Volume9225

Cite this

Poll, E. (1992). A programming logic for $F_\omega$. (Computing science notes; Vol. 9225). Technische Universiteit Eindhoven.