• Nominal Logic 1

Nominal Logic

• The Simply Typed Lambda Calculus in 20 Lines Redux