David Corfield
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 4)
|
history
)
by
David Corfield
at October 11, 2019 at 14:24:59
Home Page
(
Home Page(rev # 91)
|
history
)
by
David Corfield
at October 11, 2019 at 14:14:49
probability
(
probability(rev # 17)
|
history
)
by
David Corfield
at October 11, 2019 at 13:05:56
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 3)
|
history
)
by
David Corfield
at October 11, 2019 at 11:54:17
Home Page
(
Home Page(rev # 90)
|
history
)
by
David Corfield
at October 11, 2019 at 11:53:08
history
(
history(rev # 2)
|
history
)
by
David Corfield
at October 10, 2019 at 12:48:36
history
(
history(rev # 1)
|
history
)
by
David Corfield
at October 10, 2019 at 11:06:11
Home Page
(
Home Page(rev # 89)
|
history
)
by
David Corfield
at October 10, 2019 at 10:59:34
Some Perplexities about Time
by
David Corfield
at October 9, 2019 at 20:58:45
R G Collingwood
(
R G Collingwood(rev # 8)
|
history
)
by
David Corfield
at October 9, 2019 at 20:56:12
Narrative notes
(
Narrative notes(rev # 9)
|
history
)
by
David Corfield
at September 26, 2019 at 05:38:17
Narrative notes
(
Narrative notes(rev # 8)
|
history
)
by
David Corfield
at September 25, 2019 at 13:06:32
Narrative notes
(
Narrative notes(rev # 7)
|
history
)
by
David Corfield
at September 25, 2019 at 07:40:02
modality
(
modality(rev # 27)
|
history
)
by
David Corfield
at September 23, 2019 at 10:18:55
modality
(
modality(rev # 26)
|
history
)
by
David Corfield
at September 20, 2019 at 14:26:41
Narrative notes
(
Narrative notes(rev # 6)
|
history
)
by
David Corfield
at September 18, 2019 at 12:56:08
Narrative notes
(
Narrative notes(rev # 5)
|
history
)
by
David Corfield
at September 18, 2019 at 08:10:59
endorsements
(
endorsements(rev # 4)
|
history
)
by
David Corfield
at September 18, 2019 at 07:26:00
Narrative notes
(
Narrative notes(rev # 4)
|
history
)
by
David Corfield
at September 13, 2019 at 09:24:08
Narrative notes
(
Narrative notes(rev # 3)
|
history
)
by
David Corfield
at September 13, 2019 at 08:35:25
deduction, induction, abduction
(
deduction, induction, abduction(rev # 8)
|
history
)
by
David Corfield
at September 12, 2019 at 15:42:37
probability
(
probability(rev # 16)
|
history
)
by
David Corfield
at September 12, 2019 at 14:58:51
Narrative notes
(
Narrative notes(rev # 2)
|
history
)
by
David Corfield
at September 12, 2019 at 10:22:55
Narrative notes
(
Narrative notes(rev # 1)
|
history
)
by
David Corfield
at September 12, 2019 at 08:32:35
Home Page
(
Home Page(rev # 88)
|
history
)
by
David Corfield
at September 12, 2019 at 07:41:03
modality
(
modality(rev # 25)
|
history
)
by
David Corfield
at September 12, 2019 at 07:34:30
endorsements
(
endorsements(rev # 3)
|
history
)
by
David Corfield
at September 11, 2019 at 13:53:05
endorsements
(
endorsements(rev # 2)
|
history
)
by
David Corfield
at September 10, 2019 at 19:40:44
endorsements
(
endorsements(rev # 1)
|
history
)
by
David Corfield
at September 10, 2019 at 09:54:19
Home Page
(
Home Page(rev # 87)
|
history
)
by
David Corfield
at September 10, 2019 at 09:53:20
modality
(
modality(rev # 24)
|
history
)
by
David Corfield
at September 9, 2019 at 10:38:28
modality
(
modality(rev # 23)
|
history
)
by
David Corfield
at September 9, 2019 at 09:23:36
modality
(
modality(rev # 22)
|
history
)
by
David Corfield
at September 8, 2019 at 16:30:43
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 2)
|
history
)
by
David Corfield
at September 8, 2019 at 14:39:08
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 1)
|
history
)
by
David Corfield
at September 8, 2019 at 13:10:24
Expressing 'The Structure of' in Homotopy Type Theory
(
Expressing 'The Structure of' in Homotopy Type Theory(rev # 6)
|
history
)
by
David Corfield
at September 8, 2019 at 13:09:25
modality
(
modality(rev # 21)
|
history
)
by
David Corfield
at September 8, 2019 at 10:16:48
deduction, induction, abduction
(
deduction, induction, abduction(rev # 7)
|
history
)
by
David Corfield
at August 30, 2019 at 11:26:53
probability
(
probability(rev # 15)
|
history
)
by
David Corfield
at August 22, 2019 at 15:55:15
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 9)
|
history
)
by
David Corfield
at August 13, 2019 at 08:16:34
Home Page
(
Home Page(rev # 86)
|
history
)
by
David Corfield
at August 13, 2019 at 08:14:06
space - cohesion, etc.
(
space - cohesion, etc.(rev # 2)
|
history
)
by
David Corfield
at August 12, 2019 at 10:19:59
cohomology in mathematics
(
cohomology in mathematics(rev # 29)
|
history
)
by
David Corfield
at August 12, 2019 at 08:55:55
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 8)
|
history
)
by
David Corfield
at August 10, 2019 at 14:26:37
probability
(
probability(rev # 14)
|
history
)
by
David Corfield
at August 2, 2019 at 13:58:26
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 7)
|
history
)
by
David Corfield
at July 31, 2019 at 22:09:01
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 6)
|
history
)
by
David Corfield
at July 31, 2019 at 21:34:56
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 5)
|
history
)
by
David Corfield
at July 31, 2019 at 20:28:14
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 4)
|
history
)
by
David Corfield
at July 31, 2019 at 13:52:49
Home Page
(
Home Page(rev # 85)
|
history
)
by
David Corfield
at July 31, 2019 at 07:56:56
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 3)
|
history
)
by
David Corfield
at July 31, 2019 at 07:54:38
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 2)
|
history
)
by
David Corfield
at July 27, 2019 at 18:09:13
continuous logic, probability, quantum
(
continuous logic, probability, quantum(rev # 1)
|
history
)
by
David Corfield
at July 27, 2019 at 15:14:21
Home Page
(
Home Page(rev # 84)
|
history
)
by
David Corfield
at July 27, 2019 at 15:13:08
space - cohesion, etc.
(
space - cohesion, etc.(rev # 1)
|
history
)
by
David Corfield
at July 26, 2019 at 09:18:29
Home Page
(
Home Page(rev # 83)
|
history
)
by
David Corfield
at July 26, 2019 at 09:16:52
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 13)
|
history
)
by
David Corfield
at July 8, 2019 at 14:46:26
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 12)
|
history
)
by
David Corfield
at July 5, 2019 at 10:04:39
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 11)
|
history
)
by
David Corfield
at July 4, 2019 at 09:35:26
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 10)
|
history
)
by
David Corfield
at July 4, 2019 at 08:55:14
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 9)
|
history
)
by
David Corfield
at July 2, 2019 at 09:29:21
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 8)
|
history
)
by
David Corfield
at June 30, 2019 at 11:11:51
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 7)
|
history
)
by
David Corfield
at June 29, 2019 at 15:54:36
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 6)
|
history
)
by
David Corfield
at June 29, 2019 at 07:50:56
sandbox
(
sandbox(rev # 13)
|
history
)
by
David Corfield
at June 29, 2019 at 07:29:26
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 5)
|
history
)
by
David Corfield
at June 28, 2019 at 17:41:20
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 4)
|
history
)
by
David Corfield
at June 27, 2019 at 07:52:13
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 3)
|
history
)
by
David Corfield
at June 26, 2019 at 10:03:26
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 2)
|
history
)
by
David Corfield
at June 25, 2019 at 11:38:30
Type theory, Category theory and Philosophy
(
Type theory, Category theory and Philosophy(rev # 1)
|
history
)
by
David Corfield
at June 25, 2019 at 07:49:01
Home Page
(
Home Page(rev # 82)
|
history
)
by
David Corfield
at June 25, 2019 at 07:19:30
sandbox
(
sandbox(rev # 12)
|
history
)
by
David Corfield
at June 24, 2019 at 22:01:20
sandbox
(
sandbox(rev # 11)
|
history
)
by
David Corfield
at June 16, 2019 at 08:16:27
Home Page
(
Home Page(rev # 81)
|
history
)
by
David Corfield
at June 6, 2019 at 08:08:16
invariance
(
invariance(rev # 9)
|
history
)
by
David Corfield
at April 27, 2019 at 13:54:29
Brandom and material inference
(
Brandom and material inference(rev # 5)
|
history
)
by
David Corfield
at April 4, 2019 at 07:49:21
probability
(
probability(rev # 13)
|
history
)
by
David Corfield
at February 21, 2019 at 22:28:44
inferentialism
(
inferentialism(rev # 3)
|
history
)
by
David Corfield
at February 18, 2019 at 16:32:18
Do R-inferentialism
(
Do R-inferentialism(rev # 1)
|
history
)
by
David Corfield
at February 15, 2019 at 09:13:32
Friedman's Dynamics of Reason
(
Friedman's Dynamics of Reason(rev # 22)
|
history
)
by
David Corfield
at February 15, 2019 at 09:11:20
inferentialism
(
inferentialism(rev # 2)
|
history
)
by
David Corfield
at February 11, 2019 at 13:55:53
inferentialism
(
inferentialism(rev # 1)
|
history
)
by
David Corfield
at February 10, 2019 at 10:29:11
Home Page
(
Home Page(rev # 80)
|
history
)
by
David Corfield
at February 10, 2019 at 10:27:04
probability
(
probability(rev # 12)
|
history
)
by
David Corfield
at February 10, 2019 at 09:38:39
Brandom and material inference
(
Brandom and material inference(rev # 4)
|
history
)
by
David Corfield
at February 9, 2019 at 16:09:25
Brandom and material inference
(
Brandom and material inference(rev # 3)
|
history
)
by
David Corfield
at February 9, 2019 at 13:37:27
knowledge
(
knowledge(rev # 1)
|
history
)
by
David Corfield
at February 8, 2019 at 08:47:25
Home Page
(
Home Page(rev # 79)
|
history
)
by
David Corfield
at February 8, 2019 at 08:37:12
Robert Brandom
(
Robert Brandom(rev # 12)
|
history
)
by
David Corfield
at January 29, 2019 at 19:43:38
Robert Brandom
(
Robert Brandom(rev # 11)
|
history
)
by
David Corfield
at January 27, 2019 at 13:28:23
Robert Brandom
(
Robert Brandom(rev # 10)
|
history
)
by
David Corfield
at January 26, 2019 at 16:53:56
Home Page
(
Home Page(rev # 78)
|
history
)
by
David Corfield
at January 23, 2019 at 19:24:35
temporal type theory
(
temporal type theory(rev # 1)
|
history
)
by
David Corfield
at January 15, 2019 at 10:21:52
Home Page
(
Home Page(rev # 77)
|
history
)
by
David Corfield
at January 15, 2019 at 09:19:48
judgments
(
judgments(rev # 4)
|
history
)
by
David Corfield
at January 10, 2019 at 16:06:43
judgments
(
judgments(rev # 3)
|
history
)
by
David Corfield
at January 10, 2019 at 14:49:10
probability
(
probability(rev # 11)
|
history
)
by
David Corfield
at January 7, 2019 at 16:01:37
probability
(
probability(rev # 10)
|
history
)
by
David Corfield
at January 4, 2019 at 17:12:02
type, object, monad, process
(
type, object, monad, process(rev # 2)
|
history
)
by
David Corfield
at January 4, 2019 at 14:19:11
probability
(
probability(rev # 9)
|
history
)
by
David Corfield
at January 4, 2019 at 10:59:07
« Previous
1
2
3
4
5
6
7
8
9
10
Next »