Paper: Voevodsky's work on formalization of proofs and the foundations of mathematics

FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

PROGRAM AUTHORS KEYWORDS VOLUMES

FLoC | FoPSS | ITP | CSF | FSCD | SAT | CAV | IJCAR | ICLP | FM | LICS | ADHS | ADSL | ARQNL | ASPOCP | AVOCS | CL&C | COALG | Coq | DCM | Domains13 | DS-FM | EICNCL | F-IDE | FCS | FRIDA | GraMSec | GS | HCVS | HDRA | HOR | HoTT/UF | ICLP-DC | IFIP WG 1.6 | Isabelle | ITRS | IWC | LaSh | LCC | LearnAut | LFMTP | Linearity/TLLA | LMW | LOLA | LPOP | LSB | MLP | MoRe | MSFP | NLCS | NSV | Overture | PAAR | PARIS | PC | PLR | POS | PRUV | QBF | RCRA | REFINE | ReMOTE | rv4rise | SCSC | SMT | SoMLMFM | SR | SYNT | TERMGRAPH | Tetrapod | ThEdu | TLA | TYDI | UITP | UNIF | Vampire | VaVAS | VDMW | VEMDP | VSTTE | WiL | WPTE | WST

PROGRAM | AUTHORS | KEYWORDS | VOLUME

Voevodsky's work on formalization of proofs and the foundations of mathematics

Author: Daniel Grayson

Papers Papers with Abstracts Preface Author Index Keyword Index

Paper Information

Title:	Voevodsky's work on formalization of proofs and the foundations of mathematics
Authors:	Daniel Grayson
Proceedings:	ITP Papers
Editors:	Jeremy Avigad and Assia Mahboubi
Keywords:
Abstract:
Pages:	1
Paper:

Disclaimer | Powered by EasyChair Smart Program