scientific article; zbMATH DE number 1841811

zbMATH Open0999.68545MaRDI QIDQ4783299FDOQ4783299

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Locology and localistic logic: mathematical and epistemological aspects
• Interaction graphs: additives
• A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
• Title not available (Why is that?)
• Locus solum: From the rules of logic to the logic of rules.

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)