Q5119390 (Q5119390): Difference between revisions

@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Introduction to Categories and Categorical Logic
@@ Property / cites work: Introduction to Categories and Categorical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461801
@@ Property / cites work: Q4461801 / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Representations of the Post-apartheid University
+Normal rank
@@ Property / cites work @@
+Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+A theory of effects and resources: adjunction models and polarised calculi
+Normal rank
@@ Property / cites work @@
+Fitch-style modal lambda calculi
@@ Property / cites work: Fitch-style modal lambda calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+The elimination theorem when modality is present
@@ Property / cites work: The elimination theorem when modality is present / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic Approach to Binding-Time Analysis
+Normal rank
@@ Property / cites work @@
+On the strong normalisation of intuitionistic natural deduction with permutation-conversions
+Normal rank
@@ Property / cites work @@
+Linear logic and elementary time
@@ Property / cites work: Linear logic and elementary time / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918421
@@ Property / cites work: Q4918421 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
+Normal rank
@@ Property / cites work @@
+On the unity of logic
@@ Property / cites work: On the unity of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED
+Normal rank
@@ Property / cites work @@
+A Generalized Modality for Recursion
@@ Property / cites work: A Generalized Modality for Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Does the deduction theorem fail for modal logic?
@@ Property / cites work: Does the deduction theorem fail for modal logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5119390
@@ Property / cites work: Q5119390 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic model for graphical user interfaces
@@ Property / cites work: A semantic model for graphical user interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser theorem for typed functional systems
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Higher-order functional reactive programming without spacetime leaks
+Normal rank
@@ Property / cites work @@
+On the proof theory of the modal logic for arithmetic provability
+Normal rank
@@ Property / cites work @@
+Constructive Modalities with Provability Smack
@@ Property / cites work: Constructive Modalities with Provability Smack / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993352
@@ Property / cites work: Q4993352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Relatedness
@@ Property / cites work: Degrees of Relatedness / rank @@
+Normal rank
@@ Property / cites work @@
+A Terminating and Confluent Linear Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262211
@@ Property / cites work: Q3262211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699355
@@ Property / cites work: Q4699355 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Semantics with Functional Programming, by Jan van Eijck  and Christina Unger .
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+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 @@
+Modalities in homotopy type theory
@@ Property / cites work: Modalities in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding equivalence with sums and the empty type
@@ Property / cites work: Deciding equivalence with sums and the empty type / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursion for higher-order abstract syntax
+Normal rank
@@ Property / cites work @@
+Pure type systems with corecursion on streams
@@ Property / cites work: Pure type systems with corecursion on streams / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Circular proofs for the Gödel-Löb provability logic
+Normal rank
@@ Property / cites work @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
+Normal rank
@@ Property / cites work @@
+Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
+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 @@
+A modal sequent calculus for a fragment of arithmetic
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+Parallel reductions in \(\lambda\)-calculus
@@ Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Foundation for Environment Classifiers
@@ Property / cites work: A Logical Foundation for Environment Classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958435
@@ Property / cites work: Q3958435 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of provability: cut-elimination
@@ Property / cites work: The modal logic of provability: cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260366
@@ Property / cites work: Q4260366 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank