Towards a Conceptual Structure based on Type Theory.

Richard Dapoigny, Patrick Barlatier

Browse the full ICCS paper archive.