The Book of Shen 4th Edition


 

 

I

I/O, 99, 171, 471
idle symbol, 337
implicitly typed, 204
include, vii, 16, 69, 81, 98, 148, 165, 230, 243, 250, 256, 265, 276, 356, 463, 464
INDUCT, 485
inference rule, 216, 219, 223, 224
infinite, 3, 26, 37, 39, 60, 131, 229
infinity, 229, 309
infix, 21, 108, 109, 204
inlined, 111
integer, 20, 21, 22, 34, 35, 36, 37, 38, 42, 43, 46, 56, 66, 87, 96, 126, 140, 162, 202, 257, 264, 285, 286, 287, 309, 311, 315, 384, 400, 459, 462, 464, 473, 476
integrity condition, 443, 445, 446
internal, 114
internal expressions, 71
interpretation, 157, 178, 305
interpreter, 170, 200, 415
interval, 234
intuitionistic propositional calculus, 221
inverter, 31
isomorphic, 140

Built by Shen Technology (c) Mark Tarver, September 2021