Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves (1995)

by Jean Gallier

Document Versions

Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves –Jean Gallier — 1995
Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves –Jean Gallier — 1995 — THEORETICAL COMPUTER SCIENCE