Sciweavers

640 search results - page 10 / 128

» Logical types for untyped languages

63

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 8 months ago

Analyzing security protocols with secrecy types and logic programs

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

24

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 3 days ago

Termination of Well-Typed Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

29

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 12 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

38

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

12 years 10 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

22

LPAR
2005
Springer

93views Automated Reasoning» more LPAR 2005»

Strong Normalization of the Dual Classical Sequent Calculus

14 years 1 months ago

Strong Normalization of the Dual Classical Sequent Calculus

Download web.cs.wpi.edu

We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...

claim paper

Read More »

« Prev « First page 10 / 128 Last » Next »