Type Theory and Programming Languages

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 09, 1991
Accession Number
ADA238428

Entities

Organizations

  • University of Pennsylvania

Tags

DTIC Thesaurus Topics

  • Algebraic Geometry
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Engineering
  • Geometry
  • Information Science
  • Language
  • Logic
  • Mathematical Logic
  • Mathematics
  • Models
  • Programming Languages
  • Semantics
  • Theoretical Computer Science
  • Universities