The Definitional Side of the Forcing

Article Details
Title:	The Definitional Side of the Forcing
Article URLs:	https://doi.org/10.1145/2933575.2935320 http://ieeexplore.ieee.org/document/8576470
Alternative Article URLs:
Authors:	Guilhem Jaber	Université Paris Diderot, IRIF INRIA
	Gabriel Lewertowski	Université Paris Diderot, IRIF INRIA
	Pierre-Marie Pédrot	INRIA
	Matthieu Sozeau	Université Paris Diderot, IRIF INRIA
	Nicolas Tabareau	INRIA
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/CoqHott/coq-forcing/theories/yoneda.v
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/lics/JaberLPST16
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2016