The following pages link to New Computational Paradigms (Q5717063):
Displaying 13 items.
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Organizing numerical theories using axiomatic type classes (Q1774558) (← links)
- Productivity of Edalat-Potts exact arithmetic in constructive type theory (Q2642905) (← links)
- (Q2766808) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- A Unified Formal Description of Arithmetic and Set Theoretical Data Types (Q3582712) (← links)
- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (Q3585061) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- LEMA (Q5176481) (← links)
- Types for Proofs and Programs (Q5712314) (← links)
- Perspectives of System Informatics (Q5902408) (← links)