skip to main content

Fully Abstract Semantics for Observably Sequential Languages

Cartwright, R. ; Curien, P.L. ; Felleisen, M.

Information and computation, 1994-06, Vol.111 (2), p.297-401 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.