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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642024436, 9783642024443
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Type Inference by Coinductive Logic Programming

2009 ◽  
pp. 1-18 ◽  
Author(s):  
Davide Ancona ◽  
Giovanni Lagorio ◽  
Elena Zucca
Keyword(s):  
Logic Programming ◽  
Type Inference

scholarly journals Merging Procedural and Declarative Proof

2009 ◽  
pp. 203-219 ◽  
Author(s):  
Cezary Kaliszyk ◽  
Freek Wiedijk

Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets

2009 ◽  
pp. 306-322 ◽  
Author(s):  
Luca Roversi ◽  
Luca Vercelli
Keyword(s):  
Proof Nets

scholarly journals Monadic Translation of Intuitionistic Sequent Calculus

2009 ◽  
pp. 100-116 ◽  
Author(s):  
José Espírito Santo ◽  
Ralph Matthes ◽  
Luís Pinto
Keyword(s):  
Sequent Calculus

First-Class Object Sets

2009 ◽  
pp. 83-99
Author(s):  
Erik Ernst

A Process-Model for Linear Programs

2009 ◽  
pp. 289-305 ◽  
Author(s):  
Luca Paolini ◽  
Mauro Piccolo
Keyword(s):  
Process Model ◽  
Linear Programs

scholarly journals Axiom Directed Focusing

2009 ◽  
pp. 169-185 ◽  
Author(s):  
Clément Houtmann

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

2009 ◽  
pp. 49-63
Author(s):  
Juan Manuel Crespo ◽  
Gustavo Betarte ◽  
Carlos Luna
Keyword(s):  
Access Control ◽  
Mobile Devices ◽  
Access Control Models ◽  
Control Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document