,

LambdaDL: Syntax and Semantics (Preliminary Report)

, , и .
CoRR, (2016)

Метаданные

тэги

Пользователи данного ресурса

  • @mleinberger

Комментарии и рецензии