Back to Results
First PageMeta Content
Mathematical logic / Theory of computation / Functions and mappings / Formal methods / Models of computation / Function / Computable number / Sheaf / Lambda calculus / Mathematics / Computability theory / Theoretical computer science


Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o
Add to Reading List

Document Date: 2001-03-06 21:46:10

Open Document

File Size: 187,96 KB

Share Result on Facebook
UPDATE