Intuitionistic games: determinacy, completeness, and normalization (Q332080): Difference between revisions

@@ Property / cites work @@
+A short note on type-inhabitation: formula-trees vs. game semantics
+Normal rank
@@ Property / cites work @@
+Proof Search and Counter Model of Positive Minimal Predicate Logic
+Normal rank
@@ Property / cites work @@
+Q4736483
@@ Property / cites work: Q4736483 / rank @@
+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 @@
+On the strong normalisation of intuitionistic natural deduction with permutation-conversions
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007292
@@ Property / cites work: Q3007292 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703714
@@ Property / cites work: Q2703714 / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Proofs and countermodels in non-classical logics
@@ Property / cites work: Proofs and countermodels in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3078324
@@ Property / cites work: Q3078324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5404483
@@ Property / cites work: Q5404483 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus
+Normal rank