61 results on '"Licata, Daniel R."'
Search Results
52. A Monadic Formalization of ML5
53. A universe of binding and computation
54. Positively dependent types
55. Focusing on Binding and Computation
56. The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest
57. Mechanizing metatheory in a logical framework
58. A universe of binding and computation.
59. Canonicity for 2-dimensional type theory.
60. Security-typed programming within dependently typed programming.
61. Internal Universes in Models of Homotopy Type Theory
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.