UnisaIR Home
→
College of Science, Engineering and Technology
→
Browsing College of Science, Engineering and Technology by Subject

Browsing College of Science, Engineering and Technology by Subject "Coq"

Now showing items 1-1 of 1

Applied Lambda calculus. Using a type theory based proof assistant

Pretorius, L (South African Computer Society (SAICSIT), 1998)

We introduce a number of typed lambda calculi, show how type theory may be used as basis for a proof assistant, and illustrate this with the Coq proof assistant.

Now showing items 1-1 of 1

Search UnisaIR

Browse

All of UnisaIR
This Community
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account