User contributions for 2A02:1812:110C:DC00:74DF:BA46:C9CD:45E4
Results for 2A02:1812:110C:DC00:74DF:BA46:C9CD:45E4 talk block log logs global block log filter log
12 November 2023
- 16:2716:27, 12 November 2023 diff hist +16 Type inhabitation No edit summary
- 16:2716:27, 12 November 2023 diff hist +113 Type inference No edit summary
- 16:2716:27, 12 November 2023 diff hist +34 Implicational propositional calculus No edit summary
- 16:2516:25, 12 November 2023 diff hist +183 Simply typed lambda calculus No edit summary
- 16:2116:21, 12 November 2023 diff hist +4 Grzegorczyk hierarchy No edit summary
- 16:1616:16, 12 November 2023 diff hist +4 William W. Tait No edit summary
- 16:0616:06, 12 November 2023 diff hist +133 Effective topos No edit summary
- 14:5514:55, 12 November 2023 diff hist +93 J. Roger Hindley No edit summary current
- 14:3714:37, 12 November 2023 diff hist +8 Benjamin C. Pierce No edit summary
- 14:3514:35, 12 November 2023 diff hist +45 Bidirectional transformation No edit summary
- 13:4413:44, 12 November 2023 diff hist +15 Parametric polymorphism No edit summary
- 13:3713:37, 12 November 2023 diff hist +21 Peter Wegner (computer scientist) No edit summary
- 13:3213:32, 12 November 2023 diff hist +4 Luca Cardelli No edit summary
- 13:1313:13, 12 November 2023 diff hist +24 Product type No edit summary
- 12:5512:55, 12 November 2023 diff hist +4 Append No edit summary
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |