Dataset - CKAN

Confluence and Preservation of Strong Normalisation in an Explicit Substituti...

Projet COQ
- HTML
$\lambda\upsilon$, a calculus of explicit substitutions which preserves stron...

Projet EURECA
- HTML
An explicit $Eta$ rewrite rule

Projet EURECA
- HTML
Higher Order Unification via Explicit Substitutions

Projet COQ, Projet PARA,
- HTML
Unification via Explicit Substitutions: The Case of Higher-Order Patterns

Projet COQ, Projet PARA, PROTHEO
- HTML
Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towar...

Rapport interne.
- HTML
Combining Higher-Order and First-Order Computation Using Rho Calculus: Toward...

Colloque sur invitation.
- HTML
HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic

Colloque avec actes et comité de lecture.
- HTML
Calcul de réécriture explicite

Stage de DEA. Rapport de stage.
- HTML

You can also access this registry using the API (see API Docs).