User contributions for Txa

21 June 2023

• 09:1809:18, 21 June 2023 diff hist −10 m First-order logic →Non-classical and modal logics: wording
• 09:1709:17, 21 June 2023 diff hist +56 First-order logic →Non-classical and modal logics: Intuitionistic logic isn't only about propositional calculus.

14 March 2019

• 13:1113:11, 14 March 2019 diff hist −208 Square root of 2 Corrected wrong statement about proof by contradiction.
• 13:0913:09, 14 March 2019 diff hist +137 Talk:Square root of 2 →Not a proof by contradiction

13 March 2019

• 18:3318:33, 13 March 2019 diff hist +433 Talk:Square root of 2 Not a proof by contradiction!

4 February 2014

• 09:3709:37, 4 February 2014 diff hist +283 m Erik Meijer (computer scientist) No edit summary

2 March 2010

• 12:5912:59, 2 March 2010 diff hist 0 m Talk:Higher-order function →Curried functions higher order
• 12:5412:54, 2 March 2010 diff hist +550 m Talk:Higher-order function →Curried functions higher order: new section

5 November 2008

• 16:4116:41, 5 November 2008 diff hist −268 m Talk:Semiring →Merge with Rig (algebra)
• 13:5613:56, 5 November 2008 diff hist +268 m Talk:Semiring No edit summary

16 October 2008

• 21:1321:13, 16 October 2008 diff hist −252 m Typed lambda calculus No edit summary
• 21:1221:12, 16 October 2008 diff hist +3,937 m Talk:Typed lambda calculus →Rewrite
• 20:5420:54, 16 October 2008 diff hist −288 m Typed lambda calculus removed misleading reference to Huet

6 March 2008

• 15:5915:59, 6 March 2008 diff hist +339 m Talk:Church–Turing thesis →Church's thesis in Intuitionistic Logic: new section

2 March 2008

• 21:4921:49, 2 March 2008 diff hist +404 m Talk:Typed lambda calculus →Improve article: new section

30 October 2007

• 23:4423:44, 30 October 2007 diff hist +405 m Talk:List of unsolved problems in mathematics →Graph isomorphism problem: new section

24 September 2007

• 19:0319:03, 24 September 2007 diff hist 0 m Calculus of inductive constructions No edit summary
• 19:0219:02, 24 September 2007 diff hist +245 Nm Calculus of inductive constructions started, coqers please expand.

8 May 2007

• 19:3619:36, 8 May 2007 diff hist +1 m Talk:Simply typed lambda calculus No edit summary
• 19:3619:36, 8 May 2007 diff hist +194 m Talk:Simply typed lambda calculus No edit summary

27 March 2007

• 21:1721:17, 27 March 2007 diff hist +587 m Talk:Fermi paradox →"They do not exist because...humanity is the first in the universe/...they do not exist yet

26 March 2007

• 20:4420:44, 26 March 2007 diff hist +1,036 m Talk:Fermi paradox →"They do not exist because...humanity is the first in the universe/...they do not exist yet

12 December 2006

• 23:0323:03, 12 December 2006 diff hist +103 Nm User:Patrikj ←Created page with 'I can guess who you are... But why not saying it? --~~~~'
• 23:0123:01, 12 December 2006 diff hist +27 m Agda (programming language) link to ITT instead of type theory

19 October 2006

• 17:2517:25, 19 October 2006 diff hist +201 m Wikipedia:Administrator intervention against vandalism →User reported
• 17:1417:14, 19 October 2006 diff hist −111 m Battle of Pharsalus removed vandalism

28 September 2006

• 21:4121:41, 28 September 2006 diff hist −9 m Talk:Simply typed lambda calculus No edit summary
• 21:3921:39, 28 September 2006 diff hist +401 m Talk:Simply typed lambda calculus No edit summary
• 21:3621:36, 28 September 2006 diff hist +42 m Simply typed lambda calculus →Terms

19 July 2006

• 20:1120:11, 19 July 2006 diff hist −15 m Talk:Quantum programming No edit summary

12 June 2006

• 20:5620:56, 12 June 2006 diff hist +86 m Simply typed lambda calculus →Important results

7 June 2006

• 20:5820:58, 7 June 2006 diff hist +217 m Talk:Intuitionistic type theory →Article name
• 20:5520:55, 7 June 2006 diff hist +271 m Talk:Intuitionistic type theory No edit summary
• 20:5320:53, 7 June 2006 diff hist −131 m Intuitionistic type theory No edit summary

21 February 2006

• 21:2221:22, 21 February 2006 diff hist +263 m Talk:Type system →Requested move

7 February 2006

• 20:3520:35, 7 February 2006 diff hist +178 m Talk:Cartesian closed category vector spaces

1 February 2006

• 20:5420:54, 1 February 2006 diff hist +29 m Per Martin-Löf No edit summary
• 20:4920:49, 1 February 2006 diff hist −144 m Per Martin-Löf Last sentence removed, added Epigram

23 January 2006

• 22:4822:48, 23 January 2006 diff hist +424 m Talk:Type theory →Type Theory

19 October 2005

• 12:5212:52, 19 October 2005 diff hist +127 m Talk:Per Martin-Löf →NPOV

1 August 2005

• 19:0619:06, 1 August 2005 diff hist +422 m User talk:Brighterorange/Archive1 Type Theory

25 July 2005

• 14:4014:40, 25 July 2005 diff hist +39 m Typed lambda calculus No edit summary

6 July 2005

• 14:1414:14, 6 July 2005 diff hist +17 m Epigram (programming language) No edit summary
• 14:1414:14, 6 July 2005 diff hist −40 m Epigram (programming language) updated external links

12 June 2005

• 17:2517:25, 12 June 2005 diff hist +60 m Typed lambda calculus No edit summary

11 June 2005

• 20:4320:43, 11 June 2005 diff hist +81 m User talk:Inter →blocked
• 20:4120:41, 11 June 2005 diff hist +553 m User talk:Inter blocked
• 20:2120:21, 11 June 2005 diff hist +1 m Typed lambda calculus No edit summary
• 20:0520:05, 11 June 2005 diff hist +497 m Typed lambda calculus No edit summary

9 June 2005

• 21:1521:15, 9 June 2005 diff hist 0 m User:Txa No edit summary current