Publicações

Lambda Calculus with Regular Types

AuthID
P-00K-EDV

Author(s)

Dundua, B

Florido, M

Kutsia, T

Editor(s)

Kovacs, L; Negru, V; Ida, T; Jebelean, T; Petcu, D; Watt, S; Zaharie, D

Document Type

Proceedings Paper

Year published

2016

Published

in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC) in International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, ISSN: 2470-8801

Pages: 129-136 (8)

Conference

17Th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Synasc), Date: SEP 21-24, 2015, Location: Timisoara, ROMANIA, Sponsors: Univ Vest Timisoara, IEEE Comp Soc

Indexing