scientific article; zbMATH DE number 960927

zbMATH Open0865.68027MaRDI QIDQ5689160

Kazuhiro Kiwata, S. Arikawa

Publication date: 7 July 1997

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

zbMATH Keywords

elementary formal systems

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

An Extension of the Formulas-as-Types Paradigm ⋮ Title not available (Why is that?) ⋮ Introduction to generalized type systems ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Type theory and formal proof. An introduction 👍 👎
• An Extension of the Formulas-as-Types Paradigm 👍 👎
• Introduction to generalized type systems 👍 👎
• The Structural Theory of Pure Type Systems 👍 👎
• Introduction to Type Theory 👍 👎
• Formalising Mathematics in Simple Type Theory 👍 👎

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 Q5689160)