Information for "Curry–Howard correspondence"

Basic information

Display title	Curry–Howard correspondence
Default sort key	Curry-Howard Correspondence
Page length (in bytes)	59,074
Namespace ID	0
Page ID	171034
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	8
Counted as a content page	Yes

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>GreenC bot
Date of page creation	09:39, 27 May 2025
Latest editor	imported>Marc Schroeder
Date of latest edit	00:10, 10 June 2025
Total number of edits	2
Total number of distinct authors	2
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (23)	Pages transcluded onto the current version of this page (help): Template:Authority control (view source) Template:By whom (view source) Template:Citation (view source) Template:Cite book (view source) Template:Cite journal (view source) Template:Cite web (view source) Template:Harvard citation no brackets (view source) Template:Harvnb (view source) Template:Haskell Curry (view source) Template:Math (view source) Template:More footnotes (view source) Template:Mvar (view source) Template:Nowrap (view source) Template:Reflist (view source) Template:Refn (view source) Template:Sfn (view source) Template:Short description (view source) Template:Sidebar (view source) Template:Sister project (view source) Template:Wikibooks (view source) Module:Citation/CS1 (view source) Module:Footnotes (view source) Module:Sidebar (view source)