1 search result for "author:"Marco Maggesi <maggesi@math.unifi.it> [http://www.math.unifi.it/~maggesi/]""

Showing 1 - 1

coq-lc

No documentation

Modules over monads and lambda-calculi

keyword: modules keyword: monads keyword: category keyword: lambda calculus keyword: higher-order syntax category: Computer Science/Lambda Calculi date: 2006-01-12 date: 2008-09-9

André Hirschowitz <ah@math.unice.fr> [http://math.unice.fr/~ah/] Marco Maggesi <maggesi@math.unifi.it> [http://www.math.unifi.it/~maggesi/]

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019