Work

Simple general recursion in type theory

Year: 2001

Type: article

DOI: 10.5555/774194.774197

Author: Ana Bove

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: W1479894205

FWCI: 2.898

Cites: 16

Cited by: 19

Related to: 10