Awesome Open Source

Programming Languages

Search results for agda lambda calculus

lambda-calculus x

9 search results found

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Meta Cedille ⭐ 52

Minimalistic dependent type theory with syntactic metaprogramming

System F Agda ⭐ 44

A formalization of the polymorphic lambda calculus extended with iso-recursive types

(λ) Category theory and lambda calculus, Bachelor's thesis

Agda Nbe ⭐ 21

Formalizing nbe in agda

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

Universe Of Syntax ⭐ 14

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Formalization of Categories with Families

Church Rosser ⭐ 6

A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for λ-terms and substitutions provided by the PLFA book

Related Searches

Haskell Lambda Calculus (136)

Types Agda (76)

Haskell Agda (71)

Functional Programming Lambda Calculus (58)

Agda Type Theory (44)

Programming Language Lambda Calculus (37)

Emacs Agda (29)

Calculus Agda (29)

Agda Dependent Types (27)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.