Sciweavers

7 search results - page 1 / 2

» tacs 1991

74

Voted

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

15 years 26 days ago

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

61

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

15 years 26 days ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

53

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

15 years 26 days ago

Full Abstraction and the Context Lemma

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

53

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

15 years 26 days ago

Authentication and Delegation with Smart-cards

Download www.hpl.hp.com

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

claim paper

Read More »

53

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 26 days 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 »