A Uniform Approach to Type Theory

Abstract

The author presents in a unified framework the basic syntactic structures used to model deductive and computational notions. The guiding principle is propositions as types. These course notes have been prepared for the Institute on Logical Foundations of Functional Programming organized by the University of Texas at Austin in June 1987. They will appear in Logical Foundations of Functional Programming, Addison-Wesley, 1989. We assume known elementary set theory and algebra.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA213965

Entities

People

  • Gerard Huet

Organizations

  • Technical University of Munich

Tags

DTIC Thesaurus Topics

  • Coding
  • Computational Science
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Language
  • Logic
  • Mathematical Logic
  • Mathematics
  • Notation
  • Numbers
  • Programming Languages
  • Recursive Functions
  • Standards
  • Theoretical Computer Science

Readers

  • Artificial Intelligence
  • Technical Research and Report Writing.