David Corfield
Latest Revisions

• 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
• Home Page ( Home Page(rev # 61) | history )
  by David Corfield at February 6, 2018 at 13:07:20
• Home Page ( Home Page(rev # 60) | history )
  by David Corfield at February 6, 2018 at 06:48:12
• deduction, induction, abduction ( deduction, induction, abduction(rev # 4) | history )
  by David Corfield at January 27, 2018 at 06:48:33
• polarity ( polarity(rev # 1) | history )
  by David Corfield at January 21, 2018 at 09:45:52
• Home Page ( Home Page(rev # 59) | history )
  by David Corfield at January 21, 2018 at 09:40:16
• Two Cultures ( Two Cultures(rev # 11) | history )
  by David Corfield at December 23, 2017 at 02:57:03
• Home Page ( Home Page(rev # 58) | history )
  by David Corfield at December 19, 2017 at 06:01:01
• Narrative and the Rationality of Mathematical Practice ( Narrative and the Rationality of Mathematical Practice(rev # 3) | history )
  by David Corfield at December 19, 2017 at 05:59:32
• Home Page ( Home Page(rev # 57) | history )
  by David Corfield at December 19, 2017 at 05:07:51
• deduction, induction, abduction ( deduction, induction, abduction(rev # 3) | history )
  by David Corfield at October 23, 2017 at 16:51:02
• Home Page ( Home Page(rev # 56) | history )
  by David Corfield at October 18, 2017 at 04:48:21
• sandbox ( sandbox(rev # 9) | history )
  by David Corfield at October 16, 2017 at 17:24:59
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 5) | history )
  by David Corfield at October 10, 2017 at 08:56:04
• Home Page ( Home Page(rev # 55) | history )
  by David Corfield at October 10, 2017 at 08:28:28
• deduction, induction, abduction ( deduction, induction, abduction(rev # 2) | history )
  by David Corfield at October 5, 2017 at 06:05:47
• deduction, induction, abduction ( deduction, induction, abduction(rev # 1) | history )
  by David Corfield at October 5, 2017 at 04:51:58
• Home Page ( Home Page(rev # 54) | history )
  by David Corfield at October 5, 2017 at 04:39:37
• Home Page ( Home Page(rev # 53) | history )
  by David Corfield at September 23, 2017 at 09:14:34
• sandbox ( sandbox(rev # 8) | history )
  by David Corfield at September 21, 2017 at 04:26:27
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 4) | history )
  by David Corfield at September 15, 2017 at 05:02:04
• Home Page ( Home Page(rev # 52) | history )
  by David Corfield at September 15, 2017 at 04:19:09
• Smoke rings
  by David Corfield at September 15, 2017 at 04:11:50
• philosophy of real mathematics
  by David Corfield at September 14, 2017 at 12:19:50
• Towards a Philosophy of Real Mathematics ( Towards a Philosophy of Real Mathematics(rev # 2) | history )
  by David Corfield at September 14, 2017 at 12:18:41
• Bayesianism in Mathematics ( Bayesianism in Mathematics(rev # 3) | history )
  by David Corfield at September 14, 2017 at 12:15:09
• Expressing 'The Structure of' in Homotopy Type Theory ( Expressing 'The Structure of' in Homotopy Type Theory(rev # 4) | history )
  by David Corfield at September 14, 2017 at 11:55:58
• sandbox ( sandbox(rev # 7) | history )
  by David Corfield at September 6, 2017 at 11:08:17
• Narrative and the Rationality of Mathematical Practice ( Narrative and the Rationality of Mathematical Practice(rev # 2) | history )
  by David Corfield at August 29, 2017 at 03:38:55