Conference Paper open access publication

Stack Semantics of Type Theory

Institute of Electrical and Electronics Engineers (IEEE),

2017

DOI:10.1109/lics.2017.8005130, Dimensions: pub.1095241510,

Affiliations

Organisations

  1. (1) University of Gothenburg, grid.8761.8
  2. (2) IT-Universitetet, i Kobenhavn

Countries

Sweden

Continents

Europe

Research Categories

Main Subject Area

Fields of Research

Links & Metrics

Dimensions Citation Indicators

Times Cited: 5

Field Citation Ratio (FCR): 1.66

Open Access Info

Green, Submitted