Share This Author
The Prismoid of Resources
We define a framework called the prismoid of resources where each vertex refines the ?-calculus by using a different choice to make explicit or implicit (meta-level) the definition of the…
Foundational Proof Certificates in First-Order Logic
This paper proposes an approach to foundational proof certificates as a means of flexibly presenting proof evidence so that a relatively simple and universal proof checker can check that a certificate does, indeed, elaborate to a formal proof.
A Semantic Framework for Proof Evidence
- Zakaria Chihani, Dale A. Miller, Fabien Renaud
- Computer Science, MathematicsJournal of automated reasoning
- 1 October 2017
The foundational proof certificates (FPC) framework is proposed, which allows both producers of proof certificates and the checkers of those certificates to have a clear formal definition of the semantics of a wide variety of proof evidence.
Les ressources explicites vues par la théorie de la réécriture. (Explicit resources from the rewriting point of view)
- Fabien Renaud
- Computer Science, Philosophy
Dans la troisieme partie ofei de the these, on definit un prisme des ressources qui generalise de maniere parametrique le lambda-calcul dans le sens ou non seulement the substitution peut etre explicite, mais egalement the contraction and l'affaiblissement.
In Search for Mononuclear Helical Lanthanide Building Blocks with Predetermined Properties: Triple‐stranded Helical Complexes with N,N,N',N'‐tetraethylpyridine‐2,6‐dicarboxamide
The ligdnd N,N,N',N'-tetraethylpyridine- 2,6-dicarboxamide (Ly) reacts with trivalent lanthanide ions (Ln"') to give stable mononuclear triplestranded helical complexes [Ln(L9)J3 + (Ln = La to…
Nine-Coordinate Lanthanide Podates with Predetermined Structural and Electronic Properties: Facial Organization of Unsymmetrical Tridentate Binding Units by a Protonated Covalent Tripod
Three unsymmetrical tridentate pyridine-2,6-dicarboxamide binding units have been connected to the tris(2-(N-methyl)aminoethyl)amine tripod to give the podand L10 that exists as a statistical mixture…
Stability and Size-Discriminating Effects in Mononuclear Lanthanide Triple-Helical Building Blocks with Tridentate Aromatic Ligands.
- S. Petoud, J. Bünzli, Fabien Renaud, C. Piguet, K. Schenk, G. Hopfgartner
- ChemistryInorganic chemistry
- 3 December 1997
The planar aromatic tridentate ligand 2,6-bis(1-methylbenzimidazol-2-yl)pyridine (L(1)) reacts with Ln(III) (Ln = La-Lu) in acetonitrile to give the successive complexes [Ln(L(1))(n)()](3+) (n =…
The first self-assembled trimetallic lanthanide helicate: different coordination sites in symmetrical molecular architectures.
- B. Bocquet, G. Bernardinelli, C. Piguet
- Chemistry, Materials ScienceChemical communications
- 19 April 2002
A tris-tridentate segmental ligand has been designed for the self-assembly of homotrimetallic triple-stranded lanthanide helicates possessing different coordination sites along the threefold axis.
In search for mononuclear helical lanthanide building blocks with predetermined properties: lanthanide complexes with diethyl pyridine-2,6-dicarboxylate
The ligand diethyl pyridine-2, 6-dicarboxylate (L5) reacts with LnIII in acetonitrile to successively give the complexes [Ln(L5)i]3+ (Ln = La to Lu, i = 1-3). Spectroscopic investigations (ES-MS,…
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract)
It is described how the lambda Prolog programming language provides several features that help guarantee such a soundness claim, and various avenues for enhancing one's trust of such a checker are discussed.