Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Theoretical computer science / Enumerative combinatorics / Enumeration / Ordering / Lambda calculus / Type theory / Enumerated type / Recursively enumerable set / Combinatory logic


JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1
Add to Reading List

Document Date: 2018-10-23 12:14:23


Open Document

File Size: 1,04 MB

Share Result on Facebook
UPDATE