A Combinatory Algebra for Sequential Functionals of Finite Type (1997)

by Jaap Van Oosten
Venue:University of Utrecht
Citations:21 - 2 self

Document Versions

A Combinatory Algebra for Sequential Functionals of Finite Type –Jaap Van Oosten — 1997 — University of Utrecht