Logical Methods in Computer Science, Special Issue 23

> Home > Journals > Logical Methods in Computer Science

Special Issue: Types for Proofs and Programs, 2010 [TYPES 2010]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1201-3731
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-3731
Cyril Cohen, Assia Mahboubi:
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1201-1705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-1705
Denis Cousineau:
On completeness of reducibility candidates as a semantics of strong normalization.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1201-5240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-5240
James Cheney:
A dependent nominal type theory.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0903-3741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-3741
Pablo Arrighi, Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1105-4537
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-4537
Thomas Braibant, Damien Pous:
Deciding Kleene Algebras in Coq.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4905
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4905
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi:
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1203-4716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-4716
Andreas Abel, Gabriel Scherer:
On Irrelevance and Algorithmic Equality in Predicative Type Theory.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1201-3601
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-3601
Freek Wiedijk:
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-1200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-1200
Marc Bezem, Keiko Nakata, Tarmo Uustalu:
On streams that are finitely red.

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.