( en | de | ru )

 

Disambiguation of "Simpson, Alex K."

Author of the publication

copydeleteadd this publication to your clipboard
Comparing Functional Paradigms for Exact Real-Number Computation.

, , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 488-500. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alex Simpson

Steven Simpson

Scott Simpson

Olivia Simpson

Adrian Simpson

 

Other publications of authors with the same name

Computational adequacy for recursive types in models of intuitionistic set theory.. Ann. Pure Appl. Log., 130 (1-3): 207-275 (2004)Categorical completeness results for the simply-typed lambda-calculus.. TLCA, volume 902 of Lecture Notes in Computer Science, page 414-427. Springer, (1995)Comparing Functional Paradigms for Exact Real-Number Computation., , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 488-500. Springer, (2002)The proof theory and semantics of intuitionistic modal logic.. University of Edinburgh, UK, (1994)British Library, EThOS.Some axiomatic results in synthetic domain theory., and . Workshop on Domains, volume 35 of Electronic Notes in Theoretical Computer Science, page 175. Elsevier, (1998)Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS. LICS, page 420-430. IEEE Computer Society, (1995)A Universal Characterization of the Closed Euclidean Interval., and . LICS, page 115-125. IEEE Computer Society, (2001)Axioms and (counter) examples in synthetic domain theory., and . Ann. Pure Appl. Log., 104 (1-3): 233-278 (2000)Elementary Axioms for Categories of Classes.. LICS, page 77-85. IEEE Computer Society, (1999)Computational Adequacy in an Elementary Topos.. CSL, volume 1584 of Lecture Notes in Computer Science, page 323-342. Springer, (1998)