Back to Results
First PageMeta Content
Logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Theoretical computer science / Mathematical logic / Differential topology / Generalised Whitehead product / Orbifold


DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman
Add to Reading List

Document Date: 2016-08-20 09:03:03


Open Document

File Size: 453,41 KB

Share Result on Facebook