Skip to content

Une tentative malheureuse do construire une structure liminant rapidement les quanteurs.

Bruno Poizat

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.