David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

probability
(
probability(rev # 31)

history
)
by
Anonymous
?
at April 13, 2021 at 09:11:03
negative facts
(
negative facts(rev # 4)

history
)
by
David Corfield
at April 13, 2021 at 08:31:50
univocalequivocal
(
univocalequivocal(rev # 4)

history
)
by
David Corfield
at April 13, 2021 at 06:24:28
logicmathematics
(
logicmathematics(rev # 8)

history
)
by
David Corfield
at April 13, 2021 at 05:42:56
logicmathematics
(
logicmathematics(rev # 7)

history
)
by
David Corfield
at April 13, 2021 at 04:48:02
logicmathematics
(
logicmathematics(rev # 6)

history
)
by
David Corfield
at April 13, 2021 at 02:38:04
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 14)

history
)
by
Tim Johns
?
at April 12, 2021 at 21:38:53
probability
(
probability(rev # 30)

history
)
by
David Corfield
at April 12, 2021 at 11:52:36
logicmathematics
(
logicmathematics(rev # 5)

history
)
by
David Corfield
at April 12, 2021 at 11:31:17
probability
(
probability(rev # 29)

history
)
by
David Corfield
at April 12, 2021 at 10:57:03
logicmathematics
(
logicmathematics(rev # 4)

history
)
by
David Corfield
at April 12, 2021 at 10:37:06
probability
(
probability(rev # 28)

history
)
by
David Corfield
at April 12, 2021 at 10:18:13
logicmathematics
(
logicmathematics(rev # 3)

history
)
by
David Corfield
at April 12, 2021 at 08:28:29
logicmathematics
(
logicmathematics(rev # 2)

history
)
by
David Corfield
at April 12, 2021 at 06:54:04
negative facts
(
negative facts(rev # 3)

history
)
by
David Corfield
at April 12, 2021 at 04:14:43
negative facts
(
negative facts(rev # 2)

history
)
by
David Corfield
at April 12, 2021 at 03:06:49
negative facts
(
negative facts(rev # 1)

history
)
by
David Corfield
at April 10, 2021 at 06:21:11
Home Page
(
Home Page(rev # 147)

history
)
by
David Corfield
at April 10, 2021 at 03:01:37
logicmathematics
(
logicmathematics(rev # 1)

history
)
by
David Corfield
at April 9, 2021 at 10:41:24
types in philosophical literature
(
types in philosophical literature(rev # 7)

history
)
by
David Corfield
at April 9, 2021 at 06:01:36
Home Page
(
Home Page(rev # 146)

history
)
by
David Corfield
at April 9, 2021 at 06:00:35
univocalequivocal
(
univocalequivocal(rev # 3)

history
)
by
David Corfield
at April 7, 2021 at 11:12:26
ntheory
(
ntheory(rev # 6)

history
)
by
David Corfield
at April 7, 2021 at 10:58:05
ntheory
(
ntheory(rev # 5)

history
)
by
David Corfield
at April 7, 2021 at 09:23:16
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 13)

history
)
by
David Corfield
at April 7, 2021 at 06:44:44
ntheory
(
ntheory(rev # 4)

history
)
by
David Corfield
at April 7, 2021 at 04:50:44
invariance
(
invariance(rev # 14)

history
)
by
David Corfield
at March 31, 2021 at 10:13:25
invariance
(
invariance(rev # 13)

history
)
by
David Corfield
at March 29, 2021 at 03:44:32
univocalequivocal
(
univocalequivocal(rev # 2)

history
)
by
David Corfield
at March 26, 2021 at 07:21:44
univocalequivocal
(
univocalequivocal(rev # 1)

history
)
by
David Corfield
at March 26, 2021 at 03:57:23
Home Page
(
Home Page(rev # 145)

history
)
by
David Corfield
at March 26, 2021 at 03:51:31
type, object, monad, process
(
type, object, monad, process(rev # 7)

history
)
by
David Corfield
at March 24, 2021 at 16:46:08
Home Page
(
Home Page(rev # 144)

history
)
by
David Corfield
at March 21, 2021 at 07:15:11
type, object, monad, process
(
type, object, monad, process(rev # 6)

history
)
by
David Corfield
at March 21, 2021 at 07:14:40
MHTT2
(
MHTT2(rev # 5)

history
)
by
David Corfield
at March 18, 2021 at 04:25:02
types in philosophical literature
(
types in philosophical literature(rev # 6)

history
)
by
David Corfield
at March 18, 2021 at 04:05:05
MHTT2
(
MHTT2(rev # 4)

history
)
by
David Corfield
at March 17, 2021 at 11:21:27
MHTT2
(
MHTT2(rev # 3)

history
)
by
David Corfield
at March 15, 2021 at 17:58:48
MHTT2
(
MHTT2(rev # 2)

history
)
by
David Corfield
at March 15, 2021 at 16:36:19
MHTT2
(
MHTT2(rev # 1)

history
)
by
David Corfield
at March 15, 2021 at 10:57:06
Home Page
(
Home Page(rev # 143)

history
)
by
David Corfield
at March 15, 2021 at 09:43:56
endorsements
(
endorsements(rev # 7)

history
)
by
David Corfield
at February 28, 2021 at 10:06:48
hyperintensionality
(
hyperintensionality(rev # 3)

history
)
by
David Corfield
at February 23, 2021 at 09:42:23
hyperintensionality
(
hyperintensionality(rev # 2)

history
)
by
David Corfield
at February 23, 2021 at 07:59:57
endorsements
(
endorsements(rev # 6)

history
)
by
David Corfield
at February 22, 2021 at 10:37:32
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 12)

history
)
by
David Corfield
at February 1, 2021 at 05:43:48
probability
(
probability(rev # 27)

history
)
by
David Corfield
at January 28, 2021 at 14:18:42
quotient types
(
quotient types(rev # 6)

history
)
by
David Corfield
at January 28, 2021 at 11:45:19
Home Page
(
Home Page(rev # 142)

history
)
by
David Corfield
at January 28, 2021 at 05:11:19
Ox Notes
(
Ox Notes(rev # 16)

history
)
by
David Corfield
at January 17, 2021 at 12:31:12
Ox Notes
(
Ox Notes(rev # 15)

history
)
by
David Corfield
at January 16, 2021 at 06:16:56
Ox Notes
(
Ox Notes(rev # 14)

history
)
by
David Corfield
at January 16, 2021 at 04:50:48
Ox Notes
(
Ox Notes(rev # 13)

history
)
by
David Corfield
at January 16, 2021 at 04:16:43
Ox Notes
(
Ox Notes(rev # 12)

history
)
by
David Corfield
at January 15, 2021 at 06:18:17
Ox Notes
(
Ox Notes(rev # 11)

history
)
by
David Corfield
at January 14, 2021 at 06:14:49
temporal type theory
(
temporal type theory(rev # 11)

history
)
by
David Corfield
at January 14, 2021 at 05:54:59
Ox Notes
(
Ox Notes(rev # 10)

history
)
by
David Corfield
at January 13, 2021 at 06:15:32
Ox Notes
(
Ox Notes(rev # 9)

history
)
by
David Corfield
at January 12, 2021 at 06:47:13
Ox Notes
(
Ox Notes(rev # 8)

history
)
by
David Corfield
at January 12, 2021 at 05:40:34
Ox Notes
(
Ox Notes(rev # 7)

history
)
by
David Corfield
at January 11, 2021 at 12:39:14
Ox Notes
(
Ox Notes(rev # 6)

history
)
by
David Corfield
at January 11, 2021 at 10:38:23
Ox Notes
(
Ox Notes(rev # 5)

history
)
by
David Corfield
at January 11, 2021 at 05:45:17
Ox Notes
(
Ox Notes(rev # 4)

history
)
by
David Corfield
at January 11, 2021 at 03:15:33
Ox Notes
(
Ox Notes(rev # 3)

history
)
by
David Corfield
at January 10, 2021 at 13:01:58
Ox Notes
(
Ox Notes(rev # 2)

history
)
by
David Corfield
at January 10, 2021 at 10:39:14
questions
(
questions(rev # 2)

history
)
by
David Corfield
at January 9, 2021 at 11:05:47
knowledge
(
knowledge(rev # 3)

history
)
by
David Corfield
at January 9, 2021 at 04:39:14
Ox Notes
(
Ox Notes(rev # 1)

history
)
by
David Corfield
at January 8, 2021 at 07:29:17
Home Page
(
Home Page(rev # 141)

history
)
by
David Corfield
at January 8, 2021 at 07:07:08
questions
(
questions(rev # 1)

history
)
by
David Corfield
at January 8, 2021 at 03:22:29
Home Page
(
Home Page(rev # 140)

history
)
by
David Corfield
at January 8, 2021 at 03:21:05
knowledge
(
knowledge(rev # 2)

history
)
by
David Corfield
at January 8, 2021 at 03:19:50
inferences
by
David Corfield
at January 4, 2021 at 08:50:14
Home Page
(
Home Page(rev # 139)

history
)
by
David Corfield
at January 4, 2021 at 08:45:15
condensed
(
condensed(rev # 2)

history
)
by
David Corfield
at January 3, 2021 at 10:58:45
condensed
(
condensed(rev # 1)

history
)
by
David Corfield
at January 3, 2021 at 10:26:54
Home Page
(
Home Page(rev # 138)

history
)
by
David Corfield
at January 3, 2021 at 10:25:36
William Lawvere
by
David Corfield
at January 3, 2021 at 05:26:50
Home Page
(
Home Page(rev # 137)

history
)
by
David Corfield
at January 3, 2021 at 05:24:37
ntheory
(
ntheory(rev # 3)

history
)
by
David Corfield
at December 18, 2020 at 10:45:34
ntheory
(
ntheory(rev # 2)

history
)
by
David Corfield
at December 18, 2020 at 06:19:06
ntheory
(
ntheory(rev # 1)

history
)
by
David Corfield
at December 17, 2020 at 07:43:18
Home Page
(
Home Page(rev # 136)

history
)
by
David Corfield
at December 17, 2020 at 06:51:42
relation between category theory and type theory
(
relation between category theory and type theory(rev # 4)

history
)
by
David Corfield
at December 17, 2020 at 06:51:05
Two Cultures
(
Two Cultures(rev # 12)

history
)
by
David Corfield
at December 14, 2020 at 11:39:48
Home Page
(
Home Page(rev # 135)

history
)
by
David Corfield
at December 12, 2020 at 04:44:25
temporal type theory
(
temporal type theory(rev # 10)

history
)
by
David Corfield
at December 10, 2020 at 10:50:21
temporal type theory
(
temporal type theory(rev # 9)

history
)
by
David Corfield
at December 10, 2020 at 03:40:01
temporal type theory
(
temporal type theory(rev # 8)

history
)
by
David Corfield
at December 10, 2020 at 02:52:32
temporal type theory
(
temporal type theory(rev # 7)

history
)
by
David Corfield
at December 9, 2020 at 12:41:06
temporal type theory
(
temporal type theory(rev # 6)

history
)
by
David Corfield
at December 9, 2020 at 12:07:16
temporal type theory
(
temporal type theory(rev # 5)

history
)
by
David Corfield
at December 8, 2020 at 13:38:33
temporal type theory
(
temporal type theory(rev # 4)

history
)
by
David Corfield
at December 8, 2020 at 12:13:27
Event types
(
Event types(rev # 16)

history
)
by
David Corfield
at December 8, 2020 at 03:42:08
Event types
(
Event types(rev # 15)

history
)
by
David Corfield
at December 7, 2020 at 16:38:12
Event types
(
Event types(rev # 14)

history
)
by
Anonymous
?
at December 7, 2020 at 04:30:18
temporal type theory
(
temporal type theory(rev # 3)

history
)
by
David Corfield
at December 6, 2020 at 16:58:01
Home Page
(
Home Page(rev # 134)

history
)
by
David Corfield
at December 3, 2020 at 06:34:35
types in philosophical literature
(
types in philosophical literature(rev # 5)

history
)
by
David Corfield
at December 2, 2020 at 02:37:39
explanation, evidence, cause
(
explanation, evidence, cause(rev # 2)

history
)
by
David Corfield
at December 1, 2020 at 12:19:25
« Previous
1
2
3
4
5
6
7
8
9
10
Next »