Search Sciweavers | Sciweavers

414 search results - page 13 / 83

» Resolution for Intuitionistic Logic

click to vote

ACS
2005

89views Distributed And Parallel Com...» more ACS 2005»

Relating Categorical Semantics for Intuitionistic Linear Logic

13 years 7 months ago

Download www.cs.bham.ac.uk

There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...

Maria Emilia Maietti, Paola Maneggia, Valeria de P...

claim paper

Read More »

click to vote

ESOP
2006
Springer

139views Programming Languages» more ESOP 2006»

ILC: A Foundation for Automated Reasoning About Pointer Programs

13 years 11 months ago

Download www.cs.princeton.edu

This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...

Limin Jia, David Walker

claim paper

Read More »

click to vote

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

14 years 2 months ago