A short note on type-inhabitation: formula-trees vs. game semantics (Q2353633): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A short note on type-inhabitation: formula-trees vs. game semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Studying provability in implicational intuitionistic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Long Normal Inhabitants of a Type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4346206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal proofs and their grammar / rank | |||
Normal rank |
Latest revision as of 13:10, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A short note on type-inhabitation: formula-trees vs. game semantics |
scientific article |
Statements
A short note on type-inhabitation: formula-trees vs. game semantics (English)
0 references
15 July 2015
0 references
lambda calculus
0 references
game semantics
0 references
type-inhabitation
0 references
automatic theorem proving
0 references