Domain-Theoretic Foundations of Functional Programming
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812701428, 9789812772596

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Model of PCF in S is Fully Abstract

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0012 ◽

2006 ◽

pp. 95-98

Download Full-text

Solutions of Recursive Domain Equations

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0009 ◽

2006 ◽

pp. 65-76

Keyword(s):

Recursive Domain Equations

Download Full-text

The Full Abstraction Problem

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0006 ◽

2006 ◽

pp. 45-49

Keyword(s):

Full Abstraction

Download Full-text

FRONT MATTER

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_fmatter ◽

2006 ◽

pp. i-x

Download Full-text

Computability in Domains

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0013 ◽

2006 ◽

pp. 99-116

Download Full-text

PCF and its Operational Semantics

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0002 ◽

2006 ◽

pp. 13-22

Keyword(s):

Operational Semantics

Download Full-text

Introduction

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0001 ◽

2006 ◽

pp. 1-11

Download Full-text

Some Structural Properties of the Dσ

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0008 ◽

2006 ◽

pp. 57-64

Keyword(s):

Structural Properties

Download Full-text

Logical Relations

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0007 ◽

2006 ◽

pp. 51-55

Download Full-text

Computational Adequacy

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0004 ◽

2006 ◽

pp. 37-41

Download Full-text