Geodesic

Volume 18 (2015) no. 26

Sommaire

Preface
p. 5
270 minutes on categorial proof theory
p. 7
First-order probabilistic logics and their applications
p. 37
Structural rules and resource control in logic and computation
p. 79
From clones to hyperclones
p. 111
Pascal matrices, Reed--Muller expressions and Reed--Muller error correcting codes
p. 145
A survey of interactive theorem proving
p. 173