Dyfyniad APA

Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.

Dyfyniad Arddull Chicago

Abramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.

Dyfyniad MLA

Abramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.