Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Software engineering / Computability theory / Models of computation / Logic in computer science / Programming language semantics / Denotational semantics / Recursion / Negation / True quantified Boolean formula / Mathematical proof


An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
Add to Reading List

Document Date: 2016-08-01 05:50:10


Open Document

File Size: 252,22 KB

Share Result on Facebook
UPDATE