Q4957786 (Q4957786): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1254
@@ Property / arXiv ID: 1309.1254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981438
@@ Property / cites work: Q4981438 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
+Normal rank
@@ Property / cites work @@
+Q2958512
@@ Property / cites work: Q2958512 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-determinism, Non-termination and the Strong Normalization of System T
+Normal rank
@@ Property / cites work @@
+Q4944901
@@ Property / cites work: Q4944901 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Realizers
@@ Property / cites work: Interactive Realizers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281464
@@ Property / cites work: Q4281464 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive valuation semantics for classical logic
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024836
@@ Property / cites work: Q3024836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075442
@@ Property / cites work: Q3075442 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical proof of the strong normalization theorem for full propositional classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q4282613
@@ Property / cites work: Q4282613 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / 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 @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank