Information for "Recursive programming with proofs"

Basic information

Display title	Recursive programming with proofs
Default sort key	Recursive programming with proofs
Page length (in bytes)	15
Namespace ID	0
Page ID	9110408
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	Q1190480

Page protection

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

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	06:25, 31 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	12:36, 12 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (20)	Pages included on this page: Template:Badge (view source) Template:BadgeSimple (view source) Template:Badges/styles.css (view source) Template:DeepChat (view source) Template:ItemCards/styles.css (view source) Template:ItemLink (view source) Template:Publication (view source) Template:Publication/styles.css (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	published in Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Automatic synthesis of typed \(\Lambda\)-programs on term algebras Label: en Title Michel Parigot Label: en Title Recursive programming with proofs Title Miscellaneous (e.g. entity existence) Label: en Some statements Sitelink Theoretical Computer Science Label: en Automatizing termination proofs of recursively defined functions Title The Inf function in the system \(F\) Title A semantical storage operator theorem for all types Title System ST toward a type system for extraction and proofs of programs Title Proof-search in type-theoretic languages: An introduction Title Strong storage operators and data types Title Nuprl Label: en Title Programs from proofs using classical dependent choice Title AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS Title Q3477935 Title Mixed Inductive/Coinductive Types and Strong Normalization Title Two extensions of System F with (co)iteration and primitive (co)recursion principles Title Q3688389 Title Q4268477 Title A new deconstructive logic: linear logic Title On automating the extraction of programs from proofs using product types Title Monotone recursive types and recursive data representations in Cedille Title Singleton, union and intersection types for program extraction Title The Recursion Scheme from the Cofree Recursive Comonad Title Q5619069 Title An ordinal measure based procedure for termination of functions Title Least and greatest fixed points in intuitionistic natural deduction Title A user's friendly syntax to define recursive functions as typed λ-terms Title Machine Deduction Title