Explicit mathematics: power types and overloading
From MaRDI portal
Publication:556826
DOI10.1016/J.APAL.2004.12.002zbMath1064.03038OpenAlexW2050646635MaRDI QIDQ556826
Publication date: 23 June 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.12.002
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Metamathematics of constructive systems (03F50)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Constructivism in mathematics. An introduction. Volume II
- Relating Quine's NF to Feferman's EM
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- On the proof-theoretic strength of monotone induction in explicit mathematics
- A calculus for overloaded functions with subtyping
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- N-strictness in applicative theories
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
- A Semantics for : a Calculus with Overloading and Late-binding
- A computationally adequate model for overloading via domain-valued functors
- Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
- Power types in explicit mathematics?
- Weak Theories of Operations and Types
- Partial Applicative Theories and Explicit Substitutions
- On power set in explicit mathematics
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Explicit mathematics: power types and overloading
