A short note on type-inhabitation: formula-trees vs. game semantics (Q2353633): Difference between revisions

@@ Property / OpenAlex ID @@
+W247023568
@@ Property / OpenAlex ID: W247023568 / rank @@
+Normal rank
@@ Property / cites work @@
+A short note on type-inhabitation: formula-trees vs. game semantics
+Normal rank
@@ Property / cites work @@
+Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus
+Normal rank
@@ Property / cites work @@
+Studying provability in implicational intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On Long Normal Inhabitants of a Type
@@ Property / cites work: On Long Normal Inhabitants of a Type / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal proofs and their grammar
@@ Property / cites work: Normal proofs and their grammar / rank @@
+Normal rank