#

nominal-set

Here are 2 public repositories matching this topic...

wkolowski / Type-Theory-Wishlist

Personal research notes

dependent-types functional-programming proof-assistant type-theory cubical-type-theory programming-languages term-rewriting nominal-set homotopy-type-theory

Updated Oct 18, 2024
Coq

annenkov / stlcnorm

Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques

lambda-calculus coq proof-assistant nominal-set

Updated Nov 27, 2022
Coq

Improve this page

Add a description, image, and links to the nominal-set topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nominal-set topic, visit your repo's landing page and select "manage topics."