John V. Tucker

1 ta ish

1. A characterisation of computable data types by means of a finite equational specification method

   J. A. Bergstra, John V. Tucker

   Bob198013 iqtibos

   ABIABI:AkademIndex/2026.other.407920