Lecture Notes in Computer Science - Theoretical Aspects of Computer Software
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540544159, 9783540476177

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Subtyping + extensionality: Confluence of βηtop reduction in F≤

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_72 ◽

1991 ◽

pp. 731-749 ◽

Author(s):

Pierre-Louis Curien ◽

Giorgio Ghelli

Download Full-text

Full abstraction and the Context Lemma (preliminary report)

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_44 ◽

1991 ◽

pp. 131-151 ◽

Author(s):

Trevor Jim ◽

Albert R. Meyer

Keyword(s):

Preliminary Report ◽

Full Abstraction

Download Full-text

Adding proof objects and inductive definition mechanisms to frege structures

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_41 ◽

1991 ◽

pp. 53-87 ◽

Author(s):

Masahiko Sato

Keyword(s):

Inductive Definition

Download Full-text

Monotone recursive definition of predicates and its realizability interpretation

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_40 ◽

1991 ◽

pp. 38-52

Author(s):

Makoto Tatsuta

Keyword(s):

Recursive Definition ◽

Download Full-text

The coherence of languages with intersection types

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_70 ◽

1991 ◽

pp. 675-700 ◽

Author(s):

John C. Reynolds

Keyword(s):

Intersection Types

Download Full-text

On abstraction and the expressive power of programming languages

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_51 ◽

1991 ◽

pp. 290-310 ◽

Author(s):

John C. Mitchell

Keyword(s):

Programming Languages ◽

Expressive Power

Download Full-text

On the adequacy of dependence-based representations for programs with heaps

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_55 ◽

1991 ◽

pp. 365-386 ◽

Author(s):

Phil Pfeiffer ◽

Rebecca Parsons Selke

Download Full-text

Will logicians be replaced by machines?

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_74 ◽

1991 ◽

pp. 771-771

Author(s):

Dana S. Scott

Download Full-text

Wrapper semantics of an object-oriented programming language with state

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_64 ◽

1991 ◽

pp. 548-568 ◽

Author(s):

Andreas V. Hense

Keyword(s):

Programming Language ◽

Object Oriented ◽

Object Oriented Programming ◽

Oriented Programming Language

Download Full-text

An extension of system F with subtyping

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_73 ◽

1991 ◽

pp. 750-770 ◽

Author(s):

Luca Cardelli ◽

Simone Martini ◽

John C. Mitchell ◽

Andre Scedrov

Keyword(s):

Download Full-text