Work

Type Theory and Programming

Type: article

Authors: Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow

Institution: Chalmers University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W171306847

Cites: 25

Cited by: 13

Related to: 10