共 50 条
- [37] Eilenberg-MacLane Spaces in Homotopy Type Theory PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [39] ON THE HOMOTOPY TYPE OF SOME SPACES OCCURRING IN THE CALCULUS OF VARIATIONS ACTA SCIENTIARUM MATHEMATICARUM, 1983, 45 (1-4): : 273 - 277