A Logic for Computable Functions with Reflexive and Polymorphic Types

R. Milner, L. Morris, M. Newey

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Conference on Proving and Improving Programs
PublisherIRIA-Laboria
Pages371-394
Number of pages24
Publication statusPublished - 1975

Keywords / Materials (for Non-textual outputs)

  • rcb-bibfile

Cite this