Skip to main content
PRL Project

Type Theoretic Semantics for First-Order Logic

by Robert L. Constable
2012

Constructive in Logic and Applications Conference