Search Results - "Setzer, Anton"

The extended predicative Mahlo universe in Martin-Löf type theory.

Authors: Dybjer, Peter Setzer, Anton

Source: Journal of Logic & Computation; Sep2024, Vol. 34 Issue 6, p1032-1063, 32p

Chapter 6: Object-Oriented Programming in Dependent Type Theory.

Authors: Setzer, Anton¹, a.g.setzer@swan.ac.uk

Source: Trends in Functional Programming Volume 7; 2007, Vol. 7, p91-108, 18p

A light-weight integration of automated and interactive theorem proving.

Authors: KANSO, KARIM SETZER, ANTON

Source: Mathematical Structures in Computer Science. Jan2016, Vol. 26 Issue 1, p129-153. 25p.

Extending Martin-Löf Type Theory by one Mahlo-universe.

Authors: Setzer, Anton

Source: Archive for Mathematical Logic; 2000, Vol. 39 Issue 3, p155, 27p

2013

Authors: Author Unknown

Resource Type: eBook.

Subjects: Festschriften--Bibliography, Festschriften--Indexes

Categories: REFERENCE / Bibliographies & Indexes, REFERENCE / General

Price of Mathematical Scepticism.

Authors: Levy, Paul Blain¹ (AUTHOR) P.B.Levy@bham.ac.uk

Source: Philosophia Mathematica. Oct2022, Vol. 30 Issue 3, p283-305. 23p.

Hoare type theory, polymorphism and separation.

Authors: NANEVSKI, ALEKSANDAR MORRISETT, GREG BIRKEDAL, LARS

Source: Journal of Functional Programming. Nov2008, Vol. 18 Issue 5/6, p865-911. 47p.

Formalism and Beyond : On the Nature of Mathematical Discourse

Authors: Godehard Link

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Mathematics--Philosophy

Categories: PHILOSOPHY / Logic, MATHEMATICS / General, MATHEMATICS / History & Philosophy, PHILOSOPHY / Epistemology, PHILOSOPHY / Metaphysics

Principles of Truth : [conference 'Truth, Necessity and Provability', Which Was Held in Leuven, Belgium, From 18 to 20 November 1999]

Authors: Volker Halbach Leon Horsten

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Truth

Categories: PHILOSOPHY / Epistemology