Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
detailed descriptions of the paratexts and their semantically annotated transcriptions. As such, the project emphasises the interdependencies between print agents, the artefacts they created, and the
-
ticket discounts Access to UT Austin's libraries and museums Free rides on all UT Shuttle and Capital Metro buses with staff ID card For more details, please see: https://hr.utexas.edu/prospective/benefits
-
. The postdoctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics "https:" positions