David Corfield
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
graded modality
(
graded modality(rev # 11)
|
history
)
by
David Corfield
at June 9, 2020 at 18:25:06
Bayesianism in Mathematics
(
Bayesianism in Mathematics(rev # 7)
|
history
)
by
David Corfield
at June 5, 2020 at 08:48:59
graded modality
(
graded modality(rev # 10)
|
history
)
by
David Corfield
at May 31, 2020 at 21:08:06
concrete universal
by
David Corfield
at May 30, 2020 at 08:13:35
Home Page
(
Home Page(rev # 122)
|
history
)
by
David Corfield
at May 30, 2020 at 07:56:07
graded modality
(
graded modality(rev # 9)
|
history
)
by
David Corfield
at May 29, 2020 at 14:53:39
graded modality
(
graded modality(rev # 8)
|
history
)
by
David Corfield
at May 28, 2020 at 08:47:11
homotopification
(
homotopification(rev # 1)
|
history
)
by
David Corfield
at May 18, 2020 at 07:27:14
Home Page
(
Home Page(rev # 121)
|
history
)
by
David Corfield
at May 18, 2020 at 06:57:39
deduction, induction, abduction
(
deduction, induction, abduction(rev # 11)
|
history
)
by
David Corfield
at May 15, 2020 at 06:54:21
Home Page
(
Home Page(rev # 120)
|
history
)
by
David Corfield
at May 14, 2020 at 15:37:31
modality
(
modality(rev # 28)
|
history
)
by
David Corfield
at May 14, 2020 at 09:42:41
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 10)
|
history
)
by
David Corfield
at May 13, 2020 at 10:01:34
sandbox
(
sandbox(rev # 18)
|
history
)
by
David Corfield
at May 12, 2020 at 10:43:41
intermodality
(
intermodality(rev # 1)
|
history
)
by
David Corfield
at May 7, 2020 at 22:10:44
Home Page
(
Home Page(rev # 119)
|
history
)
by
David Corfield
at May 7, 2020 at 22:10:18
dependency
(
dependency(rev # 3)
|
history
)
by
David Corfield
at May 6, 2020 at 15:52:45
sandbox
(
sandbox(rev # 17)
|
history
)
by
David Corfield
at May 6, 2020 at 11:40:45
graded modality
(
graded modality(rev # 7)
|
history
)
by
David Corfield
at May 3, 2020 at 17:50:30
graded modality
(
graded modality(rev # 6)
|
history
)
by
David Corfield
at May 3, 2020 at 10:19:43
Home Page
(
Home Page(rev # 118)
|
history
)
by
David Corfield
at May 3, 2020 at 10:15:36
dependency
(
dependency(rev # 2)
|
history
)
by
David Corfield
at May 3, 2020 at 10:14:26
old tools
by
David Corfield
at May 2, 2020 at 08:18:52
Home Page
(
Home Page(rev # 117)
|
history
)
by
David Corfield
at May 2, 2020 at 08:14:19
dependency
(
dependency(rev # 1)
|
history
)
by
David Corfield
at May 2, 2020 at 08:03:07
probability
(
probability(rev # 26)
|
history
)
by
David Corfield
at April 29, 2020 at 10:06:48
probability
(
probability(rev # 25)
|
history
)
by
David Corfield
at April 29, 2020 at 09:30:10
invariance
(
invariance(rev # 12)
|
history
)
by
David Corfield
at April 27, 2020 at 14:39:13
Home Page
(
Home Page(rev # 116)
|
history
)
by
David Corfield
at April 22, 2020 at 14:14:49
sandbox
(
sandbox(rev # 16)
|
history
)
by
David Corfield
at April 16, 2020 at 18:02:42
probability
(
probability(rev # 24)
|
history
)
by
David Corfield
at April 9, 2020 at 13:15:17
elements
(
elements(rev # 2)
|
history
)
by
David Corfield
at April 8, 2020 at 15:01:49
elements
(
elements(rev # 1)
|
history
)
by
David Corfield
at April 8, 2020 at 09:19:56
Home Page
(
Home Page(rev # 115)
|
history
)
by
David Corfield
at April 8, 2020 at 09:11:57
Rudolf Carnap
(
Rudolf Carnap(rev # 3)
|
history
)
by
David Corfield
at April 8, 2020 at 08:55:36
probability
(
probability(rev # 23)
|
history
)
by
David Corfield
at April 3, 2020 at 11:41:04
probability
(
probability(rev # 22)
|
history
)
by
David Corfield
at April 3, 2020 at 10:06:43
probability
(
probability(rev # 21)
|
history
)
by
David Corfield
at April 3, 2020 at 09:34:19
proposition
(
proposition(rev # 9)
|
history
)
by
David Corfield
at March 10, 2020 at 14:30:46
invariance
(
invariance(rev # 11)
|
history
)
by
David Corfield
at March 10, 2020 at 09:29:22
Home Page
(
Home Page(rev # 114)
|
history
)
by
David Corfield
at February 28, 2020 at 20:33:57
Understanding the Infinite II - Coalgebra
by
David Corfield
at February 28, 2020 at 17:27:42
Home Page
(
Home Page(rev # 113)
|
history
)
by
David Corfield
at February 28, 2020 at 17:24:58
Robert Brandom
(
Robert Brandom(rev # 13)
|
history
)
by
David Corfield
at February 28, 2020 at 10:20:05
proposition
(
proposition(rev # 8)
|
history
)
by
David Corfield
at February 28, 2020 at 09:39:25
probability
(
probability(rev # 20)
|
history
)
by
David Corfield
at February 27, 2020 at 17:14:40
proposition
(
proposition(rev # 7)
|
history
)
by
David Corfield
at February 25, 2020 at 17:25:56
proposition
(
proposition(rev # 6)
|
history
)
by
David Corfield
at February 25, 2020 at 14:28:54
proposition
(
proposition(rev # 5)
|
history
)
by
David Corfield
at February 25, 2020 at 13:45:17
proposition
(
proposition(rev # 4)
|
history
)
by
David Corfield
at February 25, 2020 at 11:03:12
proposition
(
proposition(rev # 3)
|
history
)
by
David Corfield
at February 24, 2020 at 14:18:20
proposition
(
proposition(rev # 2)
|
history
)
by
David Corfield
at February 24, 2020 at 09:33:34
sandbox
(
sandbox(rev # 15)
|
history
)
by
David Corfield
at February 23, 2020 at 19:15:01
proposition
(
proposition(rev # 1)
|
history
)
by
David Corfield
at February 22, 2020 at 17:51:41
Home Page
(
Home Page(rev # 112)
|
history
)
by
David Corfield
at February 22, 2020 at 17:16:40
Individuals
(
Individuals(rev # 3)
|
history
)
by
David Corfield
at February 21, 2020 at 23:03:07
Individuals
(
Individuals(rev # 2)
|
history
)
by
David Corfield
at February 20, 2020 at 15:02:53
Home Page
(
Home Page(rev # 111)
|
history
)
by
David Corfield
at February 18, 2020 at 12:16:25
Individuals
(
Individuals(rev # 1)
|
history
)
by
David Corfield
at February 18, 2020 at 10:08:25
Peter Strawson
by
David Corfield
at February 18, 2020 at 09:47:08
Home Page
(
Home Page(rev # 110)
|
history
)
by
David Corfield
at February 18, 2020 at 09:44:28
Gilbert Ryle
(
Gilbert Ryle(rev # 1)
|
history
)
by
David Corfield
at February 12, 2020 at 10:46:54
Home Page
(
Home Page(rev # 109)
|
history
)
by
David Corfield
at February 12, 2020 at 10:43:34
Home Page
(
Home Page(rev # 108)
|
history
)
by
David Corfield
at February 7, 2020 at 08:57:44
Chapter 2 Dependent types
(
Chapter 2 Dependent types(rev # 2)
|
history
)
by
David Corfield
at February 6, 2020 at 09:41:32
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 9)
|
history
)
by
David Corfield
at February 6, 2020 at 09:37:06
Home Page
(
Home Page(rev # 107)
|
history
)
by
David Corfield
at February 5, 2020 at 09:13:05
Home Page
(
Home Page(rev # 106)
|
history
)
by
David Corfield
at February 4, 2020 at 10:40:33
Home Page
(
Home Page(rev # 105)
|
history
)
by
David Corfield
at February 4, 2020 at 09:36:17
probability
(
probability(rev # 19)
|
history
)
by
David Corfield
at February 1, 2020 at 12:57:57
fact
by
David Corfield
at January 30, 2020 at 10:02:05
Home Page
(
Home Page(rev # 104)
|
history
)
by
David Corfield
at January 30, 2020 at 09:54:25
type, object, monad, process
(
type, object, monad, process(rev # 5)
|
history
)
by
David Corfield
at January 30, 2020 at 09:53:02
n Lab discussions
by
David Corfield
at January 30, 2020 at 08:01:18
Home Page
(
Home Page(rev # 103)
|
history
)
by
David Corfield
at January 30, 2020 at 07:58:39
invariance
(
invariance(rev # 10)
|
history
)
by
David Corfield
at January 29, 2020 at 17:09:27
Chapter 5 Spatial types
(
Chapter 5 Spatial types(rev # 2)
|
history
)
by
David Corfield
at January 27, 2020 at 11:40:48
Chapter 5 Spatial types
(
Chapter 5 Spatial types(rev # 1)
|
history
)
by
David Corfield
at January 26, 2020 at 20:55:54
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 8)
|
history
)
by
David Corfield
at January 26, 2020 at 20:52:23
quotient types
(
quotient types(rev # 5)
|
history
)
by
David Corfield
at January 23, 2020 at 11:43:18
quotient types
(
quotient types(rev # 4)
|
history
)
by
David Corfield
at January 23, 2020 at 11:03:16
quotient types
(
quotient types(rev # 3)
|
history
)
by
David Corfield
at January 23, 2020 at 09:44:17
seems
(
seems(rev # 2)
|
history
)
by
David Corfield
at January 23, 2020 at 09:21:45
Chapter 3 Homotopy types
by
David Corfield
at January 22, 2020 at 11:46:41
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 7)
|
history
)
by
David Corfield
at January 22, 2020 at 11:45:29
Chapter 1 A path to a new logic
(
Chapter 1 A path to a new logic(rev # 2)
|
history
)
by
David Corfield
at January 22, 2020 at 11:44:34
Chapter 2 Dependent types
(
Chapter 2 Dependent types(rev # 1)
|
history
)
by
David Corfield
at January 22, 2020 at 11:44:06
Chapter 4 Modal types
(
Chapter 4 Modal types(rev # 2)
|
history
)
by
David Corfield
at January 22, 2020 at 11:43:41
Chapter 4 Modal types
(
Chapter 4 Modal types(rev # 1)
|
history
)
by
David Corfield
at January 22, 2020 at 10:15:15
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 6)
|
history
)
by
David Corfield
at January 22, 2020 at 10:14:17
quotient types
(
quotient types(rev # 2)
|
history
)
by
David Corfield
at January 22, 2020 at 10:11:04
type, object, monad, process
(
type, object, monad, process(rev # 4)
|
history
)
by
David Corfield
at January 22, 2020 at 08:23:19
empty
(
empty(rev # 2)
|
history
)
by
David Corfield
at January 21, 2020 at 14:33:54
seems
(
seems(rev # 1)
|
history
)
by
David Corfield
at January 21, 2020 at 14:33:16
Home Page
(
Home Page(rev # 102)
|
history
)
by
David Corfield
at January 21, 2020 at 14:32:55
quotient types
(
quotient types(rev # 1)
|
history
)
by
David Corfield
at January 21, 2020 at 13:15:30
empty
(
empty(rev # 1)
|
history
)
by
David Corfield
at January 21, 2020 at 13:07:56
Home Page
(
Home Page(rev # 101)
|
history
)
by
David Corfield
at January 21, 2020 at 12:56:48
thick concept
by
David Corfield
at January 21, 2020 at 12:49:34
Chapter 1 A path to a new logic
(
Chapter 1 A path to a new logic(rev # 1)
|
history
)
by
David Corfield
at January 15, 2020 at 13:37:27
« Previous
1
2
3
4
5
6
7
8
9
10
Next »