Reports

 

Fifteen Simple Exercises in Higher-Order Intuitionistic Logic ; CU-CS-307-85 Public Deposited

https://scholar.colorado.edu/concern/reports/v405sb146
Creator
Date Issued
  • 1985-07-01
Academic Affiliation
Last Modified
  • 2019-12-21
Resource Type
Rights Statement
Language

Relationships

Items