David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

temporal type theory
by
David Corfield
at January 15, 2019 at 05:21:52
Home Page
(
Home Page(rev # 77)

history
)
by
David Corfield
at January 15, 2019 at 04:19:48
judgments
(
judgments(rev # 4)

history
)
by
David Corfield
at January 10, 2019 at 11:06:43
judgments
(
judgments(rev # 3)

history
)
by
David Corfield
at January 10, 2019 at 09:49:10
probability
(
probability(rev # 11)

history
)
by
David Corfield
at January 7, 2019 at 11:01:37
probability
(
probability(rev # 10)

history
)
by
David Corfield
at January 4, 2019 at 12:12:02
type, monad, process
(
type, monad, process(rev # 2)

history
)
by
David Corfield
at January 4, 2019 at 09:19:11
probability
(
probability(rev # 9)

history
)
by
David Corfield
at January 4, 2019 at 05:59:07
probability
(
probability(rev # 8)

history
)
by
David Corfield
at January 4, 2019 at 05:23:23
probability
(
probability(rev # 7)

history
)
by
David Corfield
at January 4, 2019 at 04:14:57
probability
(
probability(rev # 6)

history
)
by
David Corfield
at January 4, 2019 at 03:43:19
probability
(
probability(rev # 5)

history
)
by
David Corfield
at January 4, 2019 at 02:57:43
probability
(
probability(rev # 4)

history
)
by
David Corfield
at January 3, 2019 at 08:50:58
probability
(
probability(rev # 3)

history
)
by
David Corfield
at January 3, 2019 at 06:19:47
deduction, induction, abduction
(
deduction, induction, abduction(rev # 6)

history
)
by
David Corfield
at December 20, 2018 at 12:00:29
implication
(
implication(rev # 3)

history
)
by
David Corfield
at December 19, 2018 at 11:49:40
type, monad, process
(
type, monad, process(rev # 1)

history
)
by
David Corfield
at December 18, 2018 at 10:04:32
Home Page
(
Home Page(rev # 76)

history
)
by
David Corfield
at December 18, 2018 at 10:02:44
invariance
(
invariance(rev # 8)

history
)
by
David Corfield
at December 17, 2018 at 07:18:36
invariance
(
invariance(rev # 7)

history
)
by
David Corfield
at December 17, 2018 at 06:23:42
invariance
(
invariance(rev # 6)

history
)
by
David Corfield
at December 17, 2018 at 04:34:58
invariance
(
invariance(rev # 5)

history
)
by
David Corfield
at December 15, 2018 at 11:23:39
invariance
(
invariance(rev # 4)

history
)
by
David Corfield
at December 11, 2018 at 02:40:33
invariance
(
invariance(rev # 3)

history
)
by
David Corfield
at December 10, 2018 at 17:47:57
invariance
(
invariance(rev # 2)

history
)
by
David Corfield
at December 10, 2018 at 12:24:32
invariance
(
invariance(rev # 1)

history
)
by
David Corfield
at December 9, 2018 at 03:22:50
Home Page
(
Home Page(rev # 75)

history
)
by
David Corfield
at December 9, 2018 at 03:08:17
modality
(
modality(rev # 20)

history
)
by
David Corfield
at December 5, 2018 at 06:47:25
Robert Brandom
(
Robert Brandom(rev # 9)

history
)
by
David Corfield
at November 17, 2018 at 11:22:14
Robert Brandom
(
Robert Brandom(rev # 8)

history
)
by
David Corfield
at November 17, 2018 at 10:47:29
Narrative and the Rationality of Mathematical Practice
(
Narrative and the Rationality of Mathematical Practice(rev # 4)

history
)
by
David Corfield
at November 17, 2018 at 08:20:57
Robert Brandom
(
Robert Brandom(rev # 7)

history
)
by
David Corfield
at November 16, 2018 at 08:56:19
modal type theory
(
modal type theory(rev # 5)

history
)
by
David Corfield
at November 13, 2018 at 05:47:42
Robert Brandom
(
Robert Brandom(rev # 6)

history
)
by
David Corfield
at November 2, 2018 at 11:07:30
modality
(
modality(rev # 19)

history
)
by
David Corfield
at November 2, 2018 at 09:37:22
modal type theory
(
modal type theory(rev # 4)

history
)
by
David Corfield
at November 2, 2018 at 08:07:34
modality
(
modality(rev # 18)

history
)
by
David Corfield
at November 2, 2018 at 08:05:57
modality
(
modality(rev # 17)

history
)
by
David Corfield
at November 2, 2018 at 07:23:41
modality
(
modality(rev # 16)

history
)
by
David Corfield
at November 2, 2018 at 06:30:27
Home Page
(
Home Page(rev # 74)

history
)
by
David Corfield
at November 2, 2018 at 06:02:28
modality
(
modality(rev # 15)

history
)
by
David Corfield
at November 2, 2018 at 05:01:10
modality
(
modality(rev # 14)

history
)
by
David Corfield
at November 2, 2018 at 03:28:47
modality
(
modality(rev # 13)

history
)
by
David Corfield
at November 1, 2018 at 15:52:22
Home Page
(
Home Page(rev # 73)

history
)
by
David Corfield
at November 1, 2018 at 15:01:53
modality
(
modality(rev # 12)

history
)
by
David Corfield
at November 1, 2018 at 13:09:39
graded modality
(
graded modality(rev # 5)

history
)
by
David Corfield
at November 1, 2018 at 13:04:20
graded modality
(
graded modality(rev # 4)

history
)
by
David Corfield
at November 1, 2018 at 09:33:48
graded modality
(
graded modality(rev # 3)

history
)
by
David Corfield
at November 1, 2018 at 08:40:14
polarity
(
polarity(rev # 2)

history
)
by
David Corfield
at November 1, 2018 at 08:11:24
graded modality
(
graded modality(rev # 2)

history
)
by
David Corfield
at November 1, 2018 at 04:05:48
graded modality
(
graded modality(rev # 1)

history
)
by
David Corfield
at November 1, 2018 at 02:43:51
modality
(
modality(rev # 11)

history
)
by
David Corfield
at November 1, 2018 at 02:27:37
Robert Brandom
(
Robert Brandom(rev # 5)

history
)
by
David Corfield
at October 31, 2018 at 09:24:52
Robert Brandom
(
Robert Brandom(rev # 4)

history
)
by
David Corfield
at October 30, 2018 at 06:36:12
Robert Brandom
(
Robert Brandom(rev # 3)

history
)
by
David Corfield
at October 29, 2018 at 12:38:41
Robert Brandom
(
Robert Brandom(rev # 2)

history
)
by
David Corfield
at October 29, 2018 at 11:19:39
Robert Brandom
(
Robert Brandom(rev # 1)

history
)
by
David Corfield
at October 27, 2018 at 07:07:38
Home Page
(
Home Page(rev # 72)

history
)
by
David Corfield
at October 27, 2018 at 07:03:27
sandbox
(
sandbox(rev # 10)

history
)
by
David Corfield
at October 9, 2018 at 09:10:55
modality
(
modality(rev # 10)

history
)
by
David Corfield
at September 27, 2018 at 05:41:04
Home Page
(
Home Page(rev # 71)

history
)
by
David Corfield
at September 20, 2018 at 03:30:48
Home Page
(
Home Page(rev # 70)

history
)
by
David Corfield
at September 5, 2018 at 07:59:24
modality
(
modality(rev # 9)

history
)
by
Anonymous
?
at August 29, 2018 at 11:40:59
modality
(
modality(rev # 8)

history
)
by
Anonymous
?
at August 29, 2018 at 04:48:36
modality
(
modality(rev # 7)

history
)
by
David Corfield
at August 27, 2018 at 12:40:33
modality
(
modality(rev # 6)

history
)
by
David Corfield
at August 24, 2018 at 10:44:17
modality
(
modality(rev # 5)

history
)
by
Anonymous
?
at August 24, 2018 at 08:32:36
modality
(
modality(rev # 4)

history
)
by
Anonymous
?
at August 24, 2018 at 07:16:22
modality
(
modality(rev # 3)

history
)
by
Anonymous
?
at August 24, 2018 at 05:56:23
modality
(
modality(rev # 2)

history
)
by
Anonymous
?
at August 23, 2018 at 11:03:34
modality
(
modality(rev # 1)

history
)
by
Anonymous
?
at August 23, 2018 at 08:46:46
Home Page
(
Home Page(rev # 69)

history
)
by
Anonymous
?
at August 23, 2018 at 08:37:15
Home Page
(
Home Page(rev # 68)

history
)
by
David Corfield
at August 16, 2018 at 10:17:02
Home Page
(
Home Page(rev # 67)

history
)
by
David Corfield
at August 16, 2018 at 00:13:52
Home Page
(
Home Page(rev # 66)

history
)
by
David Corfield
at July 5, 2018 at 07:32:26
Expressing 'The Structure of' in Homotopy Type Theory
(
Expressing 'The Structure of' in Homotopy Type Theory(rev # 5)

history
)
by
David Corfield
at July 5, 2018 at 07:27:27
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 16)

history
)
by
Anonymous
?
at June 18, 2018 at 06:23:58
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 15)

history
)
by
David Corfield
at June 15, 2018 at 06:53:34
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 14)

history
)
by
Anonymous
?
at June 12, 2018 at 09:21:45
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 13)

history
)
by
David Corfield
at June 11, 2018 at 06:21:49
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 12)

history
)
by
David Corfield
at June 8, 2018 at 06:14:07
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 11)

history
)
by
Anonymous
?
at June 7, 2018 at 14:40:18
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 10)

history
)
by
David Corfield
at June 7, 2018 at 12:21:43
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 9)

history
)
by
David Corfield
at June 7, 2018 at 11:14:04
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 8)

history
)
by
Anonymous
?
at June 7, 2018 at 10:07:20
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 7)

history
)
by
David Corfield
at June 7, 2018 at 07:40:10
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 6)

history
)
by
David Corfield
at June 7, 2018 at 03:29:25
Type Theory and Philosophy
(
Type Theory and Philosophy(rev # 45)

history
)
by
David Corfield
at June 6, 2018 at 11:55:41
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 5)

history
)
by
David Corfield
at June 6, 2018 at 11:33:50
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 4)

history
)
by
David Corfield
at June 6, 2018 at 10:25:26
Type Theory and Philosophy
(
Type Theory and Philosophy(rev # 44)

history
)
by
David Corfield
at June 6, 2018 at 08:47:46
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 3)

history
)
by
Anonymous
?
at June 6, 2018 at 08:02:22
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 2)

history
)
by
David Corfield
at June 6, 2018 at 07:47:22
Practical and Foundational Aspects of Type Theory
(
Practical and Foundational Aspects of Type Theory(rev # 1)

history
)
by
David Corfield
at June 6, 2018 at 04:20:05
Home Page
(
Home Page(rev # 65)

history
)
by
David Corfield
at June 6, 2018 at 04:16:47
Home Page
(
Home Page(rev # 64)

history
)
by
David Corfield
at May 28, 2018 at 05:30:26
deduction, induction, abduction
(
deduction, induction, abduction(rev # 5)

history
)
by
David Corfield
at February 14, 2018 at 06:38:47
Home Page
(
Home Page(rev # 63)

history
)
by
David Corfield
at February 8, 2018 at 07:27:38
Home Page
(
Home Page(rev # 62)

history
)
by
David Corfield
at February 8, 2018 at 06:47:23
papers
by
David Corfield
at February 6, 2018 at 13:08:33
« Previous
1
2
3
4
5
6
7
Next »