Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Homotopy type theory: unified foundations of mathematics and computation
A model of type theory in cubical sets
Computational lambda-calculus and monads
Unifying theories of programming
Formal Concept Analysis: Mathematical Foundations
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
The category theoretic understanding of universal algebra: Lawvere theories and monads
Programming and reasoning with algebraic effects and dependent types
Example-directed synthesis: a type-theoretic interpretation
Internal Type Theory
An axiomatic basis for computer programming
Dependently typed programming in Agda
A Theorem Prover for a Computational Logic
Unification revisited
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
Transfinite recursion and computation in the iterative conception of set
Type inference, Haskell and dependent types
Conceptual mathematics: a first introduction to categories
Computability and λ-definability
Set Theory and Algebra in Computer Science A Gentle Introduction to Mathematical Modeling
Calibration for Channel Reciprocity in Industrial Massive MIMO Antenna Systems
Occlusal vertical dimension: alteration concerns.
We don't need another hero.
Contextual Semantic Search Navigation
Internal Type Theory