Nicolas Margulies

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	The Multiverse: Logical Modularity for Proof Assistants	2021	Kenji Maillard Nicolas Margulies Matthieu Sozeau Nicolas Tabareau Éric Tanter

Common Coauthors

Coauthor	Papers Together
Nicolas Tabareau	1
Matthieu Sozeau	1
Éric Tanter	1
Kenji Maillard	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Semantic analysis of normalisation by evaluation for typed lambda calculus	2002	Marcelo Fiore	1
+ PDF Chat	Modularity of strong normalization in the algebraic-λ-cube	1997	Franco Barbanera Maribel Fernández Herman Geuvers	1
+	Normalization by gluing for free {\lambda}-theories	2018	Jonathan Sterling Bas Spitters	1
+	Algebraic Type Theory and Universe Hierarchies	2019	Jonathan Sterling	1
+ PDF Chat	Reduction Free Normalisation for a proof irrelevant type of propositions	2023	Thierry Coquand	1
+ PDF Chat	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules	2021	Jonathan Sterling Robert Harper	1