Information for "Curry Howards correspondence"

Jump to: navigation, search

Basic information

Display titleCurry Howards correspondence
Redirects toCurry-Howard-Lambeck isomorphism (info)
Default sort keyCurry Howards correspondence
Page length (in bytes)46
Page ID1329
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of views205
Number of redirects to this page0

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorApm (Talk | contribs)
Date of page creation09:11, 30 October 2021
Latest editorApm (Talk | contribs)
Date of latest edit09:11, 30 October 2021
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 91 days)0
Recent number of distinct authors0