The Fixed Point Property and a Technique to Harness Double Fixed Point Combinators

Giulio Manzonetto 1 Andrew Polonsky 2 Alexis Saurin 2, 3 Jakob Simonsen 4
1 LCR - Logic, Computation and Reasoning [Villetaneuse]
LIPN - Laboratoire d'Informatique de Paris-Nord
3 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01672846
Contributor : Alexis Saurin <>
Submitted on : Wednesday, December 27, 2017 - 2:25:53 PM
Last modification on : Wednesday, April 3, 2019 - 2:11:49 AM

Identifiers

  • HAL Id : hal-01672846, version 1

Citation

Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Simonsen. The Fixed Point Property and a Technique to Harness Double Fixed Point Combinators . 2017. ⟨hal-01672846⟩

Share

Metrics

Record views

180