scientific article; zbMATH DE number 6109846

DOI10.4230/LIPIcs.CSL.2012.381zbMath1252.68259arXiv1209.6336MaRDI QIDQ4649560

Marc Lasson, Chantal Keller

Publication date: 22 November 2012

Full work available at URL: https://arxiv.org/abs/1209.6336

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

universesparametricityCoqcalculus of inductive constructionsimpredicativity

Mathematics Subject Classification ID

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ The \textsc{MetaCoq} project ⋮ Friends with Benefits ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions

Uses Software

• Coq

This page was built for publication: