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

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

Document Versions

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