20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France

Hugo Herbelin,Pierre Letouzey,Matthieu Sozeau
Abstract:In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors' moral rights: Attribution: The work must be attributed to its authors. LIPIcs is a series of high-quality conference proceedings across all fields in informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge.
What problem does this paper attempt to address?