Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
Francesco Gavazzo
cs.LO

printfolios=false,printccs=false,printacmref=false












Online Extended Version
2018
 
 
1





none






ACM-Reference-Format




                            
                            
                            

                            
                            
                            
                            











   
                        
 
                        








theoremTheorem
propositionProposition

definitionDefinition
remarkRemark
corollaryCorollary

definition
exampleExample
notationNotation
digressionDigression

=9999
=9999
















OT1pzcmit























varitemize



 
 
 
 
 
 
 
 


 


numberone

varenumerate

numberone.

  numberone
  
  
  
  
  
  
  
  
  



 




 



 

 



















































































































































































				























							

				

		
		

	











































		























































































||⟩⟩










































#1#2#2
    currentlabel#2
    


proofstruct[1]
	 
		  
		
		
		
		