MPG.eBooks - Search Results - "axiom of choice"

Search alternatives:
"axiom of choice" » "axioms of choice"

Cover Image

1

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedi...

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... interpretation of the Axiom of Choice -- Using subtyping in program optimization -- What is a categorical model...”