Normal proofs and their grammar
From MaRDI portal
Publication:1917086
DOI10.1006/inco.1996.0027zbMath0853.68122OpenAlexW2123414912MaRDI QIDQ1917086
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Publication date: 12 January 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/993641e91ea4ada86ac21fd995677cf0b7b6fa0a
Related Items
Unnamed Item, A coinductive approach to proof search through typed lambda-calculi, On the expressive power of schemes, Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete, Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search, Pre-grammars and inhabitation for a subset of rank 2 intersection types, A short note on type-inhabitation: formula-trees vs. game semantics