Later credits: resourceful reasoning for the later modality

被引：0

作者：

Spies, Simon ^{[1
]}

Gäher, Lennard ^{[1
]}

Tassarotti, Joseph ^{[2
]}

Jung, Ralf ^{[3
]}

Krebbers, Robbert ^{[4
]}

Birkedal, Lars ^{[5
]}

Dreyer, Derek ^{[1
]}

机构：

[1] MPI-SWS, Saarland Informatics Campus, Germany

[2] New York University, United States

[3] MIT CSAIL, United States

[4] Radboud University Nijmegen, Netherlands

[5] Aarhus University, Denmark

来源：

关键词：

Semantics;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用