Вычислительные системы :  Сборник трудов Вып. 114, Логические вопросы теории типов данных / 
АН СССР, Сибирское отд. ин-т математики ; Ред. Ю.Л. Ершов, С.С. Гончаров и др. 
 - Новосибирск :  Б. и.,  1986. 
 - 140 с. 
<br/><br/><label>ISBN: </label> 00.80 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные системы