( en | de | ru )

 

Disambiguation of "Simpson, Alex K."

Author of the publication

copydeleteadd this publication to your clipboard
A Universal Characterization of the Closed Euclidean Interval.

, and . LICS, page 115-125. IEEE Computer Society, (2001)

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

Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS. LICS, page 420-430. IEEE Computer Society, (1995)Comparing Functional Paradigms for Exact Real-Number Computation., , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 488-500. Springer, (2002)Categorical completeness results for the simply-typed lambda-calculus.. TLCA, volume 902 of Lecture Notes in Computer Science, page 414-427. Springer, (1995)The proof theory and semantics of intuitionistic modal logic.. University of Edinburgh, UK, (1994)British Library, EThOS.A Universal Characterization of the Closed Euclidean Interval., and . LICS, page 115-125. IEEE Computer Society, (2001)Computational Adequacy in an Elementary Topos.. CSL, volume 1584 of Lecture Notes in Computer Science, page 323-342. Springer, (1998)Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.. RTA, volume 3467 of Lecture Notes in Computer Science, page 219-234. Springer, (2005)Elementary Axioms for Categories of Classes.. LICS, page 77-85. IEEE Computer Society, (1999)Axioms and (counter) examples in synthetic domain theory., and . Ann. Pure Appl. Log., 104 (1-3): 233-278 (2000)A Characterisation of the Least-Fixed-Point Operator by Dinaturality.. Theor. Comput. Sci., 118 (2): 301-314 (1993)