User contributions for Txa
Results for Txa talk block log uploads logs global block log global account filter log
A user with 201 edits. Account created on 1 October 2004.
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
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