output
20212026
most citedThe Impact of Navigation on Proxemics in an Immersive Virtual Environment with Conversational Agents

12 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021

Native Type Theory

Christian Williams, Michael Stay

Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We prese…