Go to the corresponding LIPIcs Volume Portal 
Keller, Chantal ; Lasson, Marc
pdfformat: 

@InProceedings{keller_et_al:LIPIcs:2012:3685, author = {Chantal Keller and Marc Lasson}, title = {{Parametricity in an Impredicative Sort}}, booktitle = {Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL}, pages = {381395}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897422}, ISSN = {18688969}, year = {2012}, volume = {16}, editor = {Patrick C{\'e}gielski and Arnaud Durand}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3685}, URN = {urn:nbn:de:0030drops36851}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.381}, annote = {Keywords: Calculus of Inductive Constructions, parametricity, impredicativity, Coq, universes} }
Keywords:  Calculus of Inductive Constructions, parametricity, impredicativity, Coq, universes  
Seminar:  Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL  
Issue Date:  2012  
Date of publication:  27.08.2012 