Proof and Computation II
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

0

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789811236471, 9789811236488

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conceptions of Proof from Aristotle to Gentzen’s Calculi

Proof and Computation II ◽

10.1142/9789811236488_0002 ◽

2021 ◽

pp. 33-54

Author(s):

Stefania Centrone

Download Full-text

Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy

Proof and Computation II ◽

10.1142/9789811236488_0001 ◽

2021 ◽

pp. 1-32

Author(s):

Klaus Mainzer

Keyword(s):

Computer Science

Download Full-text

From Intuitionistic Mathematics to Point-Free Topology

Proof and Computation II ◽

10.1142/9789811236488_0003 ◽

2021 ◽

pp. 55-98

Author(s):

Tatsuji Kawai

Keyword(s):

Intuitionistic Mathematics

Download Full-text

An Ad-Hoc Semantics to Study Structural Properties of Types

Proof and Computation II ◽

10.1142/9789811236488_0007 ◽

2021 ◽

pp. 267-303

Author(s):

Marco Benini ◽

Roberta Bonacina

Keyword(s):

Structural Properties ◽

Ad Hoc

Download Full-text

Logic and Verification of Product Configuration in the Automotive Industry

Proof and Computation II ◽

10.1142/9789811236488_0009 ◽

2021 ◽

pp. 387-408

Author(s):

Wolfgang Küchlin

Keyword(s):

Automotive Industry ◽

Product Configuration

Download Full-text

A Uniform Characterization of Σ1-Reflection Over the Fragments of Peano Arithmetic

Proof and Computation II ◽

10.1142/9789811236488_0005 ◽

2021 ◽

pp. 189-253

Author(s):

Anton Freund

Keyword(s):

Peano Arithmetic ◽

Fragments Of Peano Arithmetic

Download Full-text

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

Proof and Computation II ◽

10.1142/9789811236488_0008 ◽

2021 ◽

pp. 305-386

Author(s):

Dominique Larchey-Wendling ◽

Jean-François Monin

Download Full-text

Formal Topology and Univalent Foundations

Proof and Computation II ◽

10.1142/9789811236488_0006 ◽

2021 ◽

pp. 255-266

Author(s):

Thierry Coquand ◽

Ayberk Tosun

Keyword(s):

Univalent Foundations ◽

Formal Topology

Download Full-text

Generalized Spaces for Constructive Algebra

Proof and Computation II ◽

10.1142/9789811236488_0004 ◽

2021 ◽

pp. 99-187

Author(s):

Ingo Blechschmidt

Keyword(s):

Constructive Algebra

Download Full-text

FRONT MATTER

Proof and Computation II ◽

10.1142/9789811236488_fmatter ◽

2021 ◽

pp. i-xvi

Author(s):

Klaus Mainzer ◽

Peter Schuster ◽

Helmut Schwichtenberg

Download Full-text