Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642024436, 9783642024443

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_17 ◽

2009 ◽

pp. 272-288 ◽

Cited By ~ 3

Author(s):

Milad Niqui

Download Full-text

Type Inference by Coinductive Logic Programming

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_1 ◽

2009 ◽

pp. 1-18 ◽

Cited By ~ 5

Author(s):

Davide Ancona ◽

Giovanni Lagorio ◽

Elena Zucca

Keyword(s):

Logic Programming ◽

Type Inference

Download Full-text

A Type System for Usage of Software Components

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_12 ◽

2009 ◽

pp. 186-202

Author(s):

Dag Hovland

Keyword(s):

Type System ◽

Software Components

Download Full-text

Merging Procedural and Declarative Proof

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_13 ◽

2009 ◽

pp. 203-219 ◽

Cited By ~ 5

Author(s):

Cezary Kaliszyk ◽

Freek Wiedijk

Download Full-text

Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_19 ◽

2009 ◽

pp. 306-322 ◽

Cited By ~ 2

Author(s):

Luca Roversi ◽

Luca Vercelli

Keyword(s):

Proof Nets

Download Full-text

Monadic Translation of Intuitionistic Sequent Calculus

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_7 ◽

2009 ◽

pp. 100-116 ◽

Cited By ~ 2

Author(s):

José Espírito Santo ◽

Ralph Matthes ◽

Luís Pinto

Keyword(s):

Sequent Calculus

Download Full-text

First-Class Object Sets

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_6 ◽

2009 ◽

pp. 83-99

Author(s):

Erik Ernst

Download Full-text

A Process-Model for Linear Programs

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_18 ◽

2009 ◽

pp. 289-305 ◽

Cited By ~ 1

Author(s):

Luca Paolini ◽

Mauro Piccolo

Keyword(s):

Process Model ◽

Linear Programs

Download Full-text

Axiom Directed Focusing

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_11 ◽

2009 ◽

pp. 169-185 ◽

Cited By ~ 3

Author(s):

Clément Houtmann

Download Full-text

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/978-3-642-02444-3_4 ◽

2009 ◽

pp. 49-63

Author(s):

Juan Manuel Crespo ◽

Gustavo Betarte ◽

Carlos Luna

Keyword(s):

Access Control ◽

Mobile Devices ◽

Access Control Models ◽

Control Models

Download Full-text

Lecture Notes in Computer Science - Types for Proofs and ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme

Type Inference by Coinductive Logic Programming

A Type System for Usage of Software Components

Merging Procedural and Declarative Proof

Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets

Monadic Translation of Intuitionistic Sequent Calculus

First-Class Object Sets

A Process-Model for Linear Programs

Axiom Directed Focusing

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices

Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications