search result

Cover von Partial Elements and Recursion via Dominances in Univalent Type Theory

Partial Elements and Recursion via Dominances in Univalent Type Theory

Year: 2017
Media group: LIPIcs
Cover von Constructive decidability of classical continuity

Constructive decidability of classical continuity

article
Year: 2015
Media group: ARTICLE
Cover von Theory and Practice of Higher-type Computation (Tutorial)

Theory and Practice of Higher-type Computation (Tutorial)

Media group: ARTICLE
Cover von Category theory and computer science; 1/2
special issue : S. 3 - 331
Search for this author
Year: 2003
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Predicative Aspects of Order Theory in Univalent Foundations

Predicative Aspects of Order Theory in Univalent Foundations

Year: 2021
Media group: LIPIcs
Cover von Domain Theory in Constructive and Predicative Univalent Foundations

Domain Theory in Constructive and Predicative Univalent Foundations

Year: 2021
Media group: LIPIcs
Cover von The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation

The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation

Year: 2015
Media group: LIPIcs
Cover von System T and the Product of Selection Functions

System T and the Product of Selection Functions

Year: 2011
Media group: LIPIcs
Cover von In domain realizability, not all functionals on C[-1, 1] are continuous

In domain realizability, not all functionals on C[-1, 1] are continuous

article
Year: 2002
Media group: ARTICLE
Cover von Recent developments in domain theory; 1/3
a collection of papers in honour of Dana S. Scott : special issue : S. 1 - 321
Search for this author
Year: 2004
Publisher: Amsterdam, Elsevier
Count: 1/3
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0