Solomon Feferman. Computation on abstract data types. The extensional approach, with an application to streams. Annals of pure and applied logic, vol. 81 (1996), pp. 75–113.
Keyword(s):
Keyword(s):
2007 ◽
Vol 17
(3)
◽
pp. 183-203
◽