Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus formalization
calculus
x
formalization
x
2 search results found
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Math Formalizations
⭐
8
Formalization of some elementary mathematical theories in Coq
Related Searches
Lambda Functions Calculus (381)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
Tex Calculus (90)
Calculus Coq (50)
Scala Calculus (44)
Geometry Calculus (22)
Calculus Polymorphism (8)
Tex Formalization (5)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
