##### This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

*Coq à la carte: a practical approach to modular syntax with binders*. p. 186.

*Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda*. Electronic Notes in Theoretical Computer Science, Vol. 351, Issue. , p. 187.

## Discussions

No Discussions have been published for this article.