Revision as of 23:47, 4 February 2007 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,150 edits m Added "see also" section ← Previous edit		Revision as of 16:01, 31 December 2007 edit undo 213.60.236.126 (talk) Adding link to same article in Wikipedia in Spanish Next edit →
Line 35: [[de:Wp-Kalkül]] [[es:Semántica de transformación de predicados]] [[ja:述語変換意味論]]

Predicate transformer semantics: Difference between revisions