scientific article; zbMATH DE number 1841811

MaRDI QIDQ4783299zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 4 December 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2142/21420038

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) General topics in the theory of computing (68Q01)

Recommendations

• Locus solum: From the rules of logic to the logic of rules.
• Locology and localistic logic: mathematical and epistemological aspects
• scientific article; zbMATH DE number 2110616
• scientific article; zbMATH DE number 1342251
• Ludics and natural language: first approaches

Cited in

(5)

• Locology and localistic logic: mathematical and epistemological aspects
• scientific article; zbMATH DE number 1778920 (Why is no real title available?)
• Locus solum: From the rules of logic to the logic of rules.
• Interaction graphs: additives
• A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783299)