pdf-format: |
|
@Article{bauer_et_al:DR:2019:10237, author = {Andrej Bauer and Mart{\'i}n Escard{\'o} and Peter L. Lumsdaine and Assia Mahboubi}, title = {{Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)}}, pages = {130--155}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {8}, number = {8}, editor = {Andrej Bauer and Mart{\'i}n H. Escard{\'o} and Peter L. Lumsdaine and Assia Mahboubi}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10237}, URN = {urn:nbn:de:0030-drops-102370}, doi = {10.4230/DagRep.8.8.130}, annote = {Keywords: formal methods, formalized mathematics, proof assistant, type theory} }
Keywords: | formal methods, formalized mathematics, proof assistant, type theory | |
Seminar: | Dagstuhl Reports, Volume 8, Issue 8 | |
Issue date: | 2019 | |
Date of publication: | 22.02.2019 |