
Cost Semantics for Plotkin's PCF
Author(s) -
Theodore Seok Kim
Publication year - 2020
Language(s) - Uncategorized
Resource type - Dissertations/theses
DOI - 10.14418/wes01.2.119
Subject(s) - semantics (computer science) , computer science , programming language