Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq lambda calculus
coq
x
lambda-calculus
x
5 search results found
Iron
⭐
121
Coq formalizations of functional languages.
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Coqtm
⭐
10
Formalising Turing Machines In Coq (bachelor's thesis)
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Lambda Club
⭐
9
Material from presentations at the University of Kent's LambdaClub meetings
Related Searches
Ocaml Coq (164)
Haskell Lambda Calculus (136)
Types Coq (81)
Haskell Coq (63)
Functional Programming Lambda Calculus (58)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
Paper Coq (36)
Html Coq (32)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.