Skip to Main content Skip to Navigation
New interface


hal-01803760v1  Special issue
Stergios ChatzikyriakidisFabio PasqualiChristian Retoré. Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017
...
hal-01071642v1  Journal articles
Maxime AmblardChristian Retoré. Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94
...
hal-01803717v1  Journal articles
Stergios ChatzikyriakidisFabio PasqualiChristian Retoré. From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
IfColog Journal of Logics and their Applications (FLAP), 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256