LICS 1987 | Sciweavers

26

click to vote

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

14 years 4 months ago

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

33

click to vote

LICS
1987
IEEE

75views Automated Reasoning» more LICS 1987»

A Framework for Defining Logics

14 years 4 months ago

Download homepages.inf.ed.ac.uk

The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...

Robert Harper, Furio Honsell, Gordon D. Plotkin

claim paper

Read More »

18

click to vote

LICS
1987
IEEE

53views Automated Reasoning» more LICS 1987»

Domain Theory in Logical Form

14 years 4 months ago

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

14

click to vote

LICS
1987
IEEE

62views Automated Reasoning» more LICS 1987»

The Power of Temporal Proofs

14 years 4 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers