Login / Signup
Universal properties for universal types in bifibrational parametricity.
Neil Ghani
Fredrik Nordvall Forsberg
Federico Orsanigo
Published in:
Math. Struct. Comput. Sci. (2019)
Keyphrases
</>
information systems
data structure
database
data sets
information technology
user interface
turing machine