Sciweavers

7 search results - page 1 / 2

» tacs 1991

20

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

13 years 10 months ago

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

21

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

13 years 10 months ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

19

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

13 years 10 months ago

Full Abstraction and the Context Lemma

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

17

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

13 years 10 months ago

Authentication and Delegation with Smart-cards

Download www.hpl.hp.com

Martín Abadi, Michael Burrows, C. Kaufman, ...

claim paper

Read More »

15

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

13 years 10 months ago

An Abstract Interpretation for ML Equality Kinds

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »