First Page | Document Content | |
---|---|---|
Date: 2016-08-01 05:50:10Theoretical 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 FlatCurryAdd to Reading ListSource URL: www.janis-voigtlaender.euDownload Document from Source WebsiteFile Size: 252,22 KBShare Document on Facebook |