Search Results - Smith, Jan M.

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

Other Authors: “…Smith, Jan M.…”
An electronic book accessible through the World Wide Web; click to view