Login / Signup

On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.

Hans ToninoKen-etsu Fujita
Published in: Ann. Pure Appl. Log. (1992)
Keyphrases
  • higher order
  • intuitionistic logic
  • pairwise
  • classical logic
  • natural deduction
  • object oriented
  • desirable properties