Work

Innocent game models of untyped λ-calculus

Year: 2002

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/s0304-3975(00)00353-4

Authors: Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong

Institution: University of Oxford

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2014468489

FWCI: 2.827

Cites: 44

Cited by: 23

Related to: 10