nested-datatypes

There are 0 repository under nested-datatypes topic.

• Kamirus / lambda-formalizations

  Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

  stlccoq-formalizationlambda-calculusnested-datatypesprogresspreservationtheorem-provingcontrol-operatorseffect-handlerseffect-system
  Language:Coq 4