EasyChair Smart SlideDocs/Log in
Author: Ulysse Gérard

This page shows all presentations of this author published in EasyChair Smart Slide.

Functional programming with λ-tree syntax: a progress report

Functional programming with λ-tree syntax: a progress report

Ulysse Gérard and Dale Miller

Computation-as-deduction in Abella: work in progress

Computation-as-deduction in Abella: work in progress

Kaustuv Chaudhuri, Ulysse Gérard and Dale Miller

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair