Date: 2013-07-04 11:01:23

Applied mathematics

Symbol

Natural deduction

Normalisation by evaluation

Lambda calculus

Orbifold

World glyph set

Mathematical logic

Theoretical computer science

Proof theory

DRAFT New Equations for Neutral Terms

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 344,47 KB