- https://www.win.tue.nl/automath/archive/pdf/aut103.pdf Telescopic mappings in typed lambda calculus by N.G. de Bruijn ド・ブラウンのテレスコープ
- https://leanprover.github.io/reference/declarations.html#contexts-and-telescopes Leanのテレスコープ
- https://leanprover.github.io/reference/lean_reference.pdf PDF "4.2 Contexts and Telescopes"