David Corfield
Latest Revisions

• 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