Foundations of Constructive Analysis

By E. Bishop. 2012

627 citations recorded by the source corpus.

Subfields: Architecture, Computer Networks and Communications, Social Psychology

View Paper: https://www.semanticscholar.org/paper/727be3d010edeae1b38dd82994a47f513b691bda

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Architecture

1. Peter Dybjer
2. Erik Palmgren

In Computer Networks and Communications

1. Peter Dybjer
2. Erik Palmgren

In Social Psychology

1. Peter Dybjer
2. Erik Palmgren

Citations in the corpus

• Intuitionistic Type Theory (2016, background): “or in sequential form (1) J1 axiom (2) J2 axiom (3) J3 by rule r1 from (1) and (2) (4) J4 axiom (5) J5 by rule r2 from (4) (6) J6 axiom (7) J7 by rule r3 from(5) and (6) (8) J8 by rule r4 from (3) and (7) The latter form is common in mathematical arguments.”