EasyChair Smart SlideDocs/Log in
Author: Dale Miller

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

A Positive Perspective on Term Representation: Work in Progress

A Positive Perspective on Term Representation: Work in Progress

Jui-Hsuan Wu and Dale Miller

Peano Arithmetic and muMALL: an Extended Abstract

Peano Arithmetic and muMALL: an Extended Abstract

Matteo Manighetti and Dale Miller

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: 4
Copyright © 2002 – 2024 EasyChair