von Henke, Friedrich W "On the representation of data structures in LCF with applications to program generation." Report Number: CS-TR-75-520 Department of Computer Science Stanford University September 1975

Languages mentioned

• LCF {1972} Logic for Computable Functions