Volume 35; Issue none

1

Preface: Volume 35

Year:
2000
Language:
english
File:
PDF, 32 KB
english, 2000
6

Metric spaces in type theory via formal topology (Extended Abstract)

Year:
2000
Language:
faroese
File:
PDF, 690 KB
faroese, 2000
14

Characterizing polytime through higher type recursion

Year:
2000
Language:
english
File:
PDF, 34 KB
english, 2000
15

The Cook-Berger problem -A guide to the solution

Year:
2000
Language:
irish
File:
PDF, 495 KB
irish, 2000
16

The Continuous Functionals of Finite Types Over the Reals

Year:
2000
Language:
yoruba
File:
PDF, 655 KB
yoruba, 2000
18

Some axiomatic results in synthetic domain theory

Year:
2000
Language:
english
File:
PDF, 31 KB
english, 2000
19

Free SFP-algebras for truncation-closed sets of inequations

Year:
2000
Language:
english
File:
PDF, 30 KB
english, 2000
20

Formal Topology and Domains

Year:
2000
File:
PDF, 774 KB
2000
21

Effective versions of equilogical spaces

Year:
2000
Language:
english
File:
PDF, 30 KB
english, 2000
23

Convex Power Constructions for Continuous D-Cones

Year:
2000
Language:
kurdish
File:
PDF, 1.32 MB
kurdish, 2000
24

Intensional Semantics of System T of Gödel

Year:
2000
Language:
yoruba
File:
PDF, 806 KB
yoruba, 2000
25

Justifying control for logic programs

Year:
2000
Language:
english
File:
PDF, 48 KB
english, 2000
26

Type Two Theory of Effectivity and Real PCF

Year:
2000
Language:
kurdish
File:
PDF, 738 KB
kurdish, 2000