Pure & constructive mathematics in theory and use – Telegram
Pure & constructive mathematics in theory and use
@typetheoryinprogramming
513 subscribers
1 photo
13 files
444 links
Just resources about fundamental mathematics, type theory, their use in programming mostly.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Download Telegram
About
Blog
Apps
Platform
Join
Pure & constructive mathematics in theory and use
513 subscribers
Pure & constructive mathematics in theory and use
Categorical Programming with Inductive and Coinductive Types
https://kodu.ut.ee/~varmo/papers/thesis.pdf
666 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Formal Derivation of a Scheme Computer
https://legacy.cs.indiana.edu/ftp/techreports/TR544.pdf
Slightly off topic, but somewhat interesting
999 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Sets for Mathematics
http://patryshev.com/books/Sets%20for%20Mathematics.pdf
845 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Foundations of Algebraic Geometry
http://math.stanford.edu/~vakil/216blog/FOAGnov1817public.pdf
892 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Design Patterns as Higher-Order Datatype-Generic Programs
http://www.cs.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf
921 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Logic-Free Formalisations of Recursive Arithmetic
https://www.mscand.dk/article/view/10412/8433
819 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Purely Functional Data Structures
http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf
708 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
About the completeness of a certain system of integer arithmetic in which addition is the only operation (translated, with additional remarks)
https://cs.fit.edu/~ryan/papers/presburger.pdf
558 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Complexity Hierarchies beyond ELEMENTARY
https://arxiv.org/pdf/1312.5686.pdf
530 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
The Realm of Ordinal Analysis
https://www1.maths.leeds.ac.uk/~rathjen/realm.pdf
559 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Valery Isaev - Arend Proof Assistant.pdf
140.2 KB
Arend Proof Assistant
596 viewsTeslArend Zhang, 
Pure & constructive mathematics in theory and use
Andrea Vezzosi - Indexed Families in Cubical Agda.pdf
74 KB
Indexed Families' computation in Cubical Agda
656 viewsTeslArend Zhang, 
Pure & constructive mathematics in theory and use
An Introduction to Proof Theory
http://www.math.ucsd.edu/~sbuss/ResearchWeb/handbookI/ChapterI.pdf
676 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
The Art of Ordinal Analysis
https://web.archive.org/web/20091222002129/http://www.icm2006.org/proceedings/Vol_II/contents/ICM_Vol_2_03.pdf
695 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
First-Order Theorem Proving and Vampire
http://www.vprover.org/cav2013.pdf
606 viewsUnivalence | quag, edited  
Pure & constructive mathematics in theory and use
Proof Theory and Computational Analysis
https://www.researchgate.net/publication/222487825_Proof_Theory_and_Computational_Analysis/fulltext/0fa4ed830cf22f7ae5efaad8/Proof-Theory-and-Computational-Analysis.pdf
647 viewsUnivalence | quag, edited  
Pure & constructive mathematics in theory and use
Transfinite Ordinals and their Notations
http://www.cs.fsu.edu/~levitz/ords.ps
545 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
An Introduction to Set Theory
https://www.math.toronto.edu/weiss/set_theory.pdf
675 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Introduction to Ordinal Analysis
https://www.uni-goettingen.de/de/document/download/1bb43144c8c4bb68805337a25d8d1db9.pdf/pohlers_handout_3.pdf
559 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
First- and Second-Order Models of Recursive Arithmetics
https://arxiv.org/pdf/1705.05459.pdf
574 viewsUnivalence | quag, 
Pure & constructive mathematics in theory and use
Algebraic Topology
https://pi.math.cornell.edu/~hatcher/AT/AT.pdf
657 viewsUnivalence | quag,