1987
9 references published this year.
Formal Methods Applied to a Floating Point Number System
Geoff Barrett (1987) · Oxford University Computing Laboratory, Programming Research Group
A proof of correctness of the Viper microprocessor: the first level
Avra Cohn (1987) · University of Cambridge Computer Laboratory
High-gain erbium-doped traveling-wave fiber amplifier
E. Desurvire and others (1987) · Optics Letters · Optica Publishing Group
Models of arithmetic and categories with finiteness conditions
R. Diaconescu and others (1987) · Annals of Pure and Applied Logic · Elsevier BV
Linear logic
Jean-Yves Girard (1987) · Theoretical Computer Science · Elsevier BV
A Categorical Programming Language
Tatsuya Hagino (1987) · University of Edinburgh
Hardware verification of VLSI regular structures
Jeffrey J. Joyce (1987) · University of Cambridge Computer Laboratory
The expressive theory of stacks
Samuel Kamin (1987) · Acta Informatica
Low-noise erbium-doped fibre amplifier operating at 1.54μm
R.J. Mears and others (1987) · Electronics Letters · Institution of Engineering and Technology (IET)