Login / Signup

Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe.

Maria Emilia Maietti
Published in: CTCS (2004)
Keyphrases