Volume 73; Issue none

Electronic Notes in Theoretical Computer Science

Volume 73; Issue none
1

On the Ubiquity of Certain Total Type Structures: (Extended Abstract)

John Longley
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 382 KB
english, 2004
3

Preface

Martín Escardó, Achim Jung
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 60 KB
english, 2004
4

Consistent Partial Model Checking

Michael Huth, Shekhar Pradhan
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 642 KB
english, 2004
5

Informatic vs. Classical Differentiation on the Real Line

Keye Martin, Joël Ouaknine
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 224 KB
english, 2004
6

Computational Effects and Operations: An Overview

Gordon Plotkin, John Power
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 274 KB
english, 2004
7

Map Theory: From Well-Foundation to Antifoundation

Thierry Vallée
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 385 KB
english, 2004
9

Sequentiality and Piecewise-affinity in Segments of Real-PCF

Amin Farjudian
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 585 KB
english, 2004
10

Exponentiation of Scott Formal Topologies

Maria Emilia Maietti, Silvio Valentini
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 341 KB
english, 2004
11

Enriched Categories and Quasi-uniform Spaces

Vincent Schmitt
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 576 KB
english, 2004
12

Uniform Domains and Uniform Spaces: (Abstract)

Hideki Tsuiki
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 121 KB
english, 2004