Matches in DBpedia 2014 for { ?s ?p Jean-Yves Girard (born 1947) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics.. }
Showing items 1 to 1 of
1
with 100 items per page.