Domains and lambda-calculi /

by Amadio, Roberto M., Curien, Pierre-Louis, 1953-
Published 1998

Thinking and deciding /

by Baron, Jonathan, 1944-
Published 2008