Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Types T ::= Bool | Int | T ! T | T ⇥ T | List T Expressions e ::= true | false | if e then e else e | zero | succ e | pred e | isZero e | x | x.e | e e | he, ei | fst e | snd e
Add to Reading List
Document Date: 2018-02-25 15:41:04
Open Document
File Size: 1,30 MB
Share Result on Facebook
Types T ::= Bool | Int | T ! T | T ⇥ T | List T Expressions e ::= true | false | if e then e else e | zero | succ e | pred e | isZero e | x | x.e | e e | he, ei | fst e | snd e