Observational Equivalence

Two terms M and N are observationally equivalent if for all contexts C[] where CM is a valid term, CN is also a valid term with the same value.

 

<< PreviousWord BrowserNext >>
accet
ahci
schlaer mellor
edwin sidney savage
i ooa
whiskey class submarine
external total reflection
object oriented sql
object oriented turing
bill heffernan
object value
objectworks
object z
objlog
daisetsuzan national park
extended smtp
louth, new south wales
halfdan ragnarsson
objvlisp
puffinus
vlisp
helena modjeska
le lisp
objvprolog
oblog
dvaita
metro land
ocal
paterson railway station, new south wales
violin sonata no. 8 (beethoven)
national council of negro women
od390
1905 in norwegian football
office workstations limited
gaudiya vaishnavism
quiktran
quikscript
simscript
1906 in norwegian football
bloggernacle
promal
c*
parallel c
dataparallel c