56

Combining type disciplines

Year:
1994
Language:
english
File:
PDF, 2.22 MB
english, 1994
58

A discrimination algorithm inside λ-β-calculus

Year:
1979
Language:
english
File:
PDF, 2.05 MB
english, 1979
59

Preface

Year:
1991
Language:
english
File:
PDF, 38 KB
english, 1991
60

Preface

Year:
1991
Language:
english
File:
PDF, 43 KB
english, 1991
61

Preface

Year:
1993
Language:
english
File:
PDF, 98 KB
english, 1993
62

ENZYPLOT: A microcomputer assisted program for teaching enzyme kinetics

Year:
1995
Language:
english
File:
PDF, 275 KB
english, 1995
74

Behavioural inverse limit λ-models

Year:
2004
Language:
english
File:
PDF, 399 KB
english, 2004
75

Space-aware ambients and processes

Year:
2007
Language:
english
File:
PDF, 549 KB
english, 2007
78

Preface

Year:
2002
Language:
english
File:
PDF, 37 KB
english, 2002
79

Filter models for conjunctive-disjunctive λ-calculi

Year:
1996
Language:
english
File:
PDF, 2.57 MB
english, 1996
80

Infinite λ-calculus and types

Year:
1999
Language:
english
File:
PDF, 3.19 MB
english, 1999
82

A Fully Abstract Model for Mobile Ambients

Year:
2002
Language:
english
File:
PDF, 136 KB
english, 2002
88

Rat osseous plate alkaline phosphatase: mechanism of action of manganese ions

Year:
1995
Language:
english
File:
PDF, 385 KB
english, 1995
91

A new type assignment for λ-terms

Year:
1978
Language:
english
File:
PDF, 973 KB
english, 1978
92

Reduction of storage employed to represent families of information structures

Year:
1977
Language:
english
File:
PDF, 1.36 MB
english, 1977
100

A characterization of F-complete type assignments

Year:
1986
Language:
english
File:
PDF, 1.88 MB
english, 1986